---

Step * 1 of Lemma bnot_bnot_elim


1. p : 𝔹
⊢ ¬b¬bp = p
BY
{ BoolEval }

1
tt = tt

2
ff = ff

---

Latex:

---

Latex:

1.  p  :  \mBbbB{}
\mvdash{}  \mneg{}\msubb{}\mneg{}\msubb{}p  =  p


By

---

Latex:
BoolEval

---

Home Index