(p ∨ q) ⇒ r
( ~ m ∨ ~ n) ⇒ ~r
(p ∨ q)
Premis diatas menghasilkan konklusi ?
Perhatikan premis premis berikut
Jawaban Terkonfirmasi
Pada yang pertama, sudah benar,
Pada yang kedua, pernyataan tersebut ekuivalen dengan kontraposisinya:
Sehingga, dengan silogisme:
Didapat konklusi:
(m ∧ n)