Diketahui:

Premis I: p ⇒ ~q
Premis II: q ˅ r

Penarikan kesimpulan diatas termasuk kepada penarikan kesimpulan apa?

Jawab :
Pada soal di atas, q ˅ r ekuivalen dengan ~q ⇒ r, maka soal di atas dapat
dituliskan kembali menjadi:
Premis I: p ⇒ ~q
Premis II: ~q ⇒ r

Cara penarikan kesimpulan di atas adalah silogisme.

Tentukan Kontraposisi pernyataan majemuk dari : p → (p V ~ q)

Penyelesaian :
Ingat, misalnya diberikan suatu implikasi (p → q) maka kontraposisi pernyataan
tersebut berbentuk (~ q → ~ p)
Jadi, kontraposisi dari pernyataan p → (p V ~ q) adalah (~ p Ʌ q) → ~ p