---

Step * 1 of Lemma fo-logic-test2


⊢ ∀x:Dom. ((B x) ⇒ (B x))
BY
{ (FOAllIntro THEN FOImpliesIntro) }

1
9. x : Dom@i
10. B x@i
⊢ B x

---

Latex:



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


By

(FOAllIntro  THEN  FOImpliesIntro)

---

Home Index