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