Periksalah kesahihan argumen-argumen berikut : jika hari panas, Anton mimisan. Hari tidak panas. Oleh karena itu, Anton tidak mimisan

jika p maka q.
jika ~p maka ~q
p= jika hari panas, q=anton mimisann
~p=hari tidak panas maka ~q=anton tidak mimisan

jika hari panas maka Anto mimisan ingkaran nya. jika hari tidak panas Anto tidak mimisan..
p1 hari panas p2 anti mimisan
-p1&-p2 hari tidak panas dan Anto tidak mimisan