Diketahui: Premis 1: Budi membayar pajak maka ia warga yang baik.
Premis 2: Budi bukan warga yang baik.
Kesimpulan dari premis-premis tersebut adalah
Budi tidak membayar pajak
Pembahasan:
Kesimpulan :
p ⇒ q
~ q
∴ ~p
Budi tidak membayar pajak.