- suora todistus ja epäsuora (l. käänteinen eli kontrapositio-) todistus (Pitkä matematiikka s. 75 --> )
- kvanttorit (Pitkä matematiikka s. 64): riitttää kun osaatte lukea kvanttoreita sisältäviä väittämiä eli tunnistatte olemassaolo- ja universaalikvanttorin


Tuossa alla Pitkä Matematiikka 11 -kirjan yhteenveto ja peruslaskuja todistuksista:

















_{t. Pete}