Step
*
of Lemma
iff_weakening_uiff
∀[P,Q:ℙ].  (uiff(P;Q) 
⇒ (P 
⇐⇒ Q))
BY
{ Auto }
Latex:
Latex:
\mforall{}[P,Q:\mBbbP{}].    (uiff(P;Q)  {}\mRightarrow{}  (P  \mLeftarrow{}{}\mRightarrow{}  Q))
By
Latex:
Auto
Home
Index