(p' ⇒ q)' ⇒ p' bileşik önermesini en sade biçimde yazınız?

Question

<span itemprop="name">(p&#039; ⇒ q)&#039; ⇒ p&#039; bileşik önermesini en sade biçimde yazınız?</span>

Answer 1

.

---

Verilen bileşik önermeyi en sade hâle getirelim:

2. Adım: İkinci implikasyonu sadeleştirme

Artık önermemiz şu hâlde:

Bu daima doğru olan bir önermedir.

Sonuç: Bileşik önerme daima doğru olur, yani sadeleştirilmiş şekli 1’dir.