Question

Perhatikan premis premis berikut
(p ∨ q) ⇒ r
( ~ m ∨ ~ n) ⇒ ~r
(p ∨ q)

Premis diatas menghasilkan konklusi ?

Answer 1

Pada yang pertama, sudah benar,
Pada yang kedua, pernyataan tersebut ekuivalen dengan kontraposisinya:

Sehingga, dengan silogisme:

Didapat konklusi:
(m ∧ n)