Verilen bileşik önerme $(p \lor q) \Rightarrow q$ şeklindedir.

Bir $A \Rightarrow B$ önermesinin karşıtı (converse) $B \Rightarrow A$ şeklindedir.

Bu durumda, $(p \lor q) \Rightarrow q$ önermesinin karşıtı $q \Rightarrow (p \lor q)$ olur.

Şimdi bu ifadeyi sadeleştirelim:

• Bir $A \Rightarrow B$ önermesi, $A' \lor B$ önermesine denktir.
• Bu kuralı $q \Rightarrow (p \lor q)$ ifadesine uygulayalım: $$q \Rightarrow (p \lor q) \equiv q' \lor (p \lor q)$$
• Birleşme özelliğini kullanarak parantezleri yeniden düzenleyelim: $$q' \lor (p \lor q) \equiv (q' \lor q) \lor p$$
• $q' \lor q$ ifadesi her zaman 1'e denktir (tamamlama özelliği): $$(q' \lor q) \lor p \equiv 1 \lor p$$
• $1 \lor p$ ifadesi her zaman 1'e denktir (birim özelliği): $$1 \lor p \equiv 1$$

Buna göre, bileşik önermenin karşıtı 1'e denktir.

Cevap A seçeneğidir.