---

Step * of Lemma pnegate_wf

∀[x:formula()]. (pnegate(x) ∈ formula())
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[x:formula()].  (pnegate(x)  \mmember{}  formula())


By

---

Latex:
ProveWfLemma

---

Home Index