---

Step * 1 1 of Lemma fo-logic-test2


9. x : Dom@i
10. B x@i
⊢ B x
BY
{ FOHyp (-1) }

---

Latex:



9.  x  :  Dom@i
10.  B  x@i
\mvdash{}  B  x


By

FOHyp  (-1)

---

Home Index