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

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