---

Step * of Lemma FOConnective_wf

∀knd:Atom. (FOConnective(knd) ∈ AbstractFOFormula ─→ AbstractFOFormula ─→ AbstractFOFormula)
BY
{ ProveWfLemma }

---

Latex:


\mforall{}knd:Atom.  (FOConnective(knd)  \mmember{}  AbstractFOFormula  {}\mrightarrow{}  AbstractFOFormula  {}\mrightarrow{}  AbstractFOFormula)


By

ProveWfLemma

---

Home Index