Sorunun Çözümü
Verilen bileşik önermeyi adım adım basitleştirelim:
Bileşik önerme: $$(p \Rightarrow q) \vee (q' \Rightarrow p')$$
- Öncelikle, ise ($\Rightarrow$) bağlacının denkliğini hatırlayalım: $$A \Rightarrow B \equiv A' \vee B$$
- Bu denkliği kullanarak ilk parantezi açalım: $$(p \Rightarrow q) \equiv p' \vee q$$
- Şimdi ikinci parantezi açalım: $$(q' \Rightarrow p') \equiv (q')' \vee p'$$ Burada $(q')'$ ifadesi $q$ demektir. Dolayısıyla: $$(q' \Rightarrow p') \equiv q \vee p'$$
- Bulduğumuz bu iki ifadeyi ana bağlaç olan veya ($\vee$) ile birleştirelim: $$(p' \vee q) \vee (q \vee p')$$
- Veya ($\vee$) bağlacının birleşme ve değişme özellikleri sayesinde parantezleri kaldırabilir ve terimleri yeniden düzenleyebiliriz: $$p' \vee q \vee q \vee p'$$
- Mantıkta, bir önermenin kendisiyle "veya"lanması yine o önermenin kendisine denktir ($A \vee A \equiv A$). Bu kuralı uygulayalım: $$p' \vee p' \equiv p'$$ $$q \vee q \equiv q$$
- Sonuç olarak ifade şu hale gelir: $$p' \vee q$$
Bu sonuç, seçeneklerdeki C) $p' \vee q$ ile aynıdır.
Cevap C seçeneğidir.