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

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

Pembahasan

Kontraposisi dari implikasi ~p => (q v r) adalah ~(q v r) => ~(~p).
Dengan menggunakan hukum De Morgan, ~(q v r) senilai dengan (~q ^ ~r).
Dengan menggunakan hukum negasi ganda, ~(~p) senilai dengan p.
Sehingga, kontraposisi dari ~p => (q v r) adalah (~q ^ ~r) => p.