Jika ~p menyatakan ingkaran p dan ~q menyatakan ingkaran q,

~p atau q

Pembahasan

Soal ini membahas tentang ekuivalensi dalam logika. Simbol '~' menyatakan negasi atau ingkaran. Implikasi 'p => q' dibaca 'jika p maka q'. Ekuivalensi logis dari 'p => q' adalah '~p atau q' (~p \/ q). Ini berarti bahwa pernyataan 'jika p maka q' bernilai benar kecuali jika p benar dan q salah. Dalam bentuk lain, ekuivalensi ini juga dapat ditulis sebagai '~q => ~p' (kontrapositif).