Lukion taulukot/Pätevän päättelyn sääntöjä

[muokkaa]

Nimi	Sääntö
Suora todistus, modus ponendo ponens	$[P\wedge (P\implies Q)]\implies Q$
Vastaesimerkkitodistus, reductio ad absurdum	$[(P\implies Q)\wedge \neg Q]\implies \neg P$
Kontrapositio	$(P\implies Q)\iff (\neg Q\implies \neg P)$
Syllogismi	$[(P\implies Q)\wedge (Q\implies R)]\implies (P\implies R)$
Ekvivalenssi ja kaksoisimplikaatio	$[(P\implies Q)\wedge (Q\implies P)]\implies (P\iff Q)$
Matemaattinen induktio	$P(0)\wedge \forall k[P(k)\implies P(k+1)]\implies \forall n[P(n)]$