Tentukan valid atau tidaknya penarikan kesimpulan berikut

A.     ~p ==>q
        ~p        
         q
(Valid)
Dari Kesimpulan logika diatas merupakan jenis penarikan kesimpulan modus ponen dimana :
P₁ :    p ==>q
P₂ :    p        
K  :     q
Jadi kesimpulan diatas valid karena sama dengan hasil pengujian

b.    ~p V ~q
       ~q ==> r
       p ==> r
(Tidak Valid)
Dari kesimpulan logika diatas kita harus mengubah ~p V ~q, dengan mencari kesetaraannya :
~p V q ≡ p ⇒ q
Sehingga Untuk :
~p V ~q ≡ p ⇒ ~q
Jadi :
       ~p  ⇒ ~q
       ~q  ⇒   r
       ~p   ⇒   r
Jadi kesimpulan diatas tidak valid karena tidak sama dengan hasil pengujian.