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

Bir $ A \Rightarrow B $ önermesinin karşıt tersi $ B' \Rightarrow A' $ şeklindedir.

• Burada $ A = (p \lor q)' $ ve $ B = q $ olarak alalım.
• Öncelikle $ A' $ ve $ B' $ ifadelerini bulalım:
  • $ A' = ((p \lor q)')' \equiv p \lor q $ (De Morgan ve çift değilleme kuralı)
  • $ B' = q' $
• Şimdi karşıt tersini oluşturalım: $ B' \Rightarrow A' $
  • $ q' \Rightarrow (p \lor q) $
• İmplikasyon kuralını ($ X \Rightarrow Y \equiv X' \lor Y $) kullanarak ifadeyi basitleştirelim:
  • $ q' \Rightarrow (p \lor q) \equiv (q')' \lor (p \lor q) $
  • $ \equiv q \lor (p \lor q) $
  • $ \equiv (q \lor q) \lor p $ (Birleşme ve değişme özelliği)
  • $ \equiv q \lor p $ (Tek kuvvet özelliği)
  • $ \equiv p \lor q $ (Değişme özelliği)

Bu sonuç D seçeneği ile aynıdır.

Cevap D seçeneğidir.