---

Step * 1 1 of Lemma example2


9. ∀x.(B x) ⇒ (C x)@i
10. ∃z.B z@i
⊢ ∃y.C y
BY
{ FOExistsElim 10 }

1
9. ∀x.(B x) ⇒ (C x)@i
10. z : Dom@i
11. B z@i
⊢ ∃y.C y

---

Latex:



9.  \mforall{}x.(B  x)  {}\mRightarrow{}  (C  x)@i
10.  \mexists{}z.B  z@i
\mvdash{}  \mexists{}y.C  y


By

FOExistsElim  10

---

Home Index