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:
\mforall{}x.(B x) {}\mRightarrow{} (C x) {}\mRightarrow{} \mexists{}z.B z {}\mRightarrow{} \mexists{}y.C y
By
StartFO
Home
Index