Question

Tentukan valid atau tidaknya penarikan kesimpulan berikut
a. ~p ==>q
~p
q
b. ~p V ~q
~q ==> r
p ==> r

Answer 1

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.