---

Step * of Lemma iff_transitivity

∀[P,Q,R:ℙ].  ((P ⇐⇒ Q) ⇒ (Q ⇐⇒ R) ⇒ (P ⇐⇒ R))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[P,Q,R:\mBbbP{}].    ((P  \mLeftarrow{}{}\mRightarrow{}  Q)  {}\mRightarrow{}  (Q  \mLeftarrow{}{}\mRightarrow{}  R)  {}\mRightarrow{}  (P  \mLeftarrow{}{}\mRightarrow{}  R))


By

---

Latex:
Auto

---

Home Index