Kontraposisi dari pernyataan ~p=>(q v ~r) adalah....

Kontraposisi dari ~p ⇒ (q ∨ ~r) adalah (~q ∧ r) ⇒ p.

Pembahasan

Kontraposisi dari pernyataan implikasi p ⇒ q adalah ~q ⇒ ~p. Untuk pernyataan ~p ⇒ (q ∨ ~r), negasi dari konsekuen (q ∨ ~r) adalah ~(q ∨ ~r), yang berdasarkan hukum De Morgan sama dengan ~q ∧ ~~r, atau ~q ∧ r. Negasi dari anteseden ~p adalah ~~p, yang sama dengan p. Oleh karena itu, kontraposisinya adalah (~q ∧ r) ⇒ p.