---

Step * 1 1 of Lemma iff_imp_equal_bool


1. False ⇒ True
2. False ⇐ True
⊢ ff = tt
BY
{ (D 2 THEN Auto) }

---

Latex:

---

Latex:

1.  False  {}\mRightarrow{}  True
2.  False  \mLeftarrow{}{}  True
\mvdash{}  ff  =  tt


By

---

Latex:
(D  2  THEN  Auto)

---

Home Index