---

Step * 1 of Lemma fo-logic-xmiddle


⊢ ∀x:Dom. ((((B x) ∨ ((B x) ⇒ A)) ⇒ A) ⇒ A)
BY
{ (FOAllIntro THEN FOImpliesIntro) }

1
9. x : Dom@i
10. ((B x) ∨ ((B x) ⇒ A)) ⇒ A@i
⊢ A

---

Latex:



\mvdash{}  \mforall{}x:Dom.  ((((B  x)  \mvee{}  ((B  x)  {}\mRightarrow{}  A))  {}\mRightarrow{}  A)  {}\mRightarrow{}  A)


By

(FOAllIntro  THEN  FOImpliesIntro)

---

Home Index