Verilen koşullu önerme $p \Rightarrow q'$ şeklindedir.

• Bir koşullu önerme $P \Rightarrow Q$ ise, bunun karşıtı (tersi değil, karşıtı) $Q \Rightarrow P$ şeklindedir.
• Burada $P = p$ ve $Q = q'$ olduğu için, verilen önermenin karşıtı $q' \Rightarrow p$ olur.
• Koşullu bir önerme $A \Rightarrow B$, $(A' \lor B)$ önermesine denktir.
• Bu kuralı $q' \Rightarrow p$ önermesine uygulayalım:
  • $A = q'$
  • $B = p$
  • Dolayısıyla, $(q')' \lor p$ olur.
• $(q')'$ ifadesi $q$ demektir. Bu durumda önerme $q \lor p$ haline gelir.
• Veya ($ \lor $) bağlacının değişme özelliği olduğu için $q \lor p$ ifadesi $p \lor q$ ile aynıdır.

Bu sonuç, A seçeneğindeki $p \lor q$ ifadesiyle eşleşmektedir.

Cevap A seçeneğidir.