Modus Ponens dan Modus Tollens sebenarnya adalah teknik penarikan kesimpulan dari logika

manusia juga. Di Logika Matematika, kedua teknik penarikan kesimpulan tersebut dinyatakan
dengan:

Modus Ponens

p→q
p
———
Kesimpulan: q

Modus Tollens

p→q
~q
———
Kesimpulan: ~p

Arti Modus Ponens adalah “jika diketahui p → q dan p, maka bisa ditarik kesimpulan q“.
Sedangkan Modus Tollens berarti “jika diketahu p → q dan ~q, maka bisa ditarik kesimpulan
~p“.