wiskundige bewijzen

1. het ‘dan’-gedeelte van een implicatie.
7. één voorbeeld dat aantoont dat een uitspraak onwaar is.
9. de uitspraak “als niet q, dan niet p”, logisch equivalent met “als p, dan q”.
10. een logische redenering die aantoont dat een uitspraak altijd waar is.
11. een bewijs waarbij men vertrekt van de hypothese en logisch naar de conclusie redeneert.

2. absurd
3. een situatie die logisch onmogelijk is.
4. het ‘als’-gedeelte van een implicatie.
5. een uitspraak die men waar denkt, maar waarvoor nog geen bewijs bestaat.
6. een uitspraak die als waar wordt aangenomen zonder bewijs en waarop andere bewijzen steunen.
8. een uitspraak die bewezen is.