---

Step * of Lemma example2

∀x.(B x) ⇒ (C x) ⇒ ∃z.B z ⇒ ∃y.C y
BY
{ StartFO }

1
⊢ ∀x.(B x) ⇒ (C x) ⇒ ∃z.B z ⇒ ∃y.C y

---

Latex:

---

Latex:
\mforall{}x.(B  x)  {}\mRightarrow{}  (C  x)  {}\mRightarrow{}  \mexists{}z.B  z  {}\mRightarrow{}  \mexists{}y.C  y


By

---

Latex:
StartFO

---

Home Index