Across
- 3. een uitspraak die men waar denkt, maar waarvoor nog geen bewijs bestaat.
- 5. de uitspraak “als niet q, dan niet p”, logisch equivalent met “als p, dan q”.
- 7. een situatie die logisch onmogelijk is.
- 9. het ‘als’-gedeelte van een implicatie.
- 10. een uitspraak die als waar wordt aangenomen zonder bewijs en waarop andere bewijzen steunen.
- 11. het ‘dan’-gedeelte van een implicatie.
Down
- 1. één voorbeeld dat aantoont dat een uitspraak onwaar is.
- 2. een bewijs waarbij men vertrekt van de hypothese en logisch naar de conclusie redeneert.
- 4. een logische redenering die aantoont dat een uitspraak altijd waar is.
- 6. absurd
- 8. een uitspraak die bewezen is.
