---

Step * 1 of Lemma fo-logic-test1


⊢ ∀x.(B x) ⇒ (C x) ⇒ ∃x.B x ⇒ ∃x.C x
BY
{ RepeatFor 2 (FOImpliesIntro) }

1
9. ∀x.(B x) ⇒ (C x)@i
10. ∃x.B x@i
⊢ ∃x.C x

---

Latex:



\mvdash{}  \mforall{}x.(B  x)  {}\mRightarrow{}  (C  x)  {}\mRightarrow{}  \mexists{}x.B  x  {}\mRightarrow{}  \mexists{}x.C  x


By

RepeatFor  2  (FOImpliesIntro)

---

Home Index