(⟺ )⇒ (⇒) ifade formunun eşdeğeri

Question

Cevap anahtarı E diyor ama nasıl olduğunu anlamadım. Yardımcı olur musunuz ?

Comments

$(p\Leftrightarrow q)\Rightarrow(p\Rightarrow q)$  veya  $(p\Leftrightarrow q)\Rightarrow(q\Rightarrow p)$  olarak düşünürsek doğruluk tablosu ile $(p\Leftrightarrow q)\Rightarrow(p\Rightarrow q)\equiv (p\Leftrightarrow q)\Rightarrow(q\Rightarrow p)\equiv1$  olur.

---

Önermeyi $(p\Leftrightarrow r)\Rightarrow(q\Rightarrow r)$ olarak alırsak

$$p\Rightarrow (q\Rightarrow r)$$ olarak sadeleştirilebiliyor.