---

Step * of Lemma fo-logic-test2

∀x:Dom. ((B x) ⇒ (B x))
BY
{ StartFO⋅ }

1
⊢ ∀x:Dom. ((B x) ⇒ (B x))

---

Latex:


\mforall{}x:Dom.  ((B  x)  {}\mRightarrow{}  (B  x))


By

StartFO\mcdot{}

---

Home Index