---

Step * 1 1 1 1 1 1 of Lemma fo-logic-xmiddle


9. x : Dom@i
10. ((B x) ∨ ((B x) ⇒ A)) ⇒ A@i
11. B x@i
⊢ (B x) ∨ ((B x) ⇒ A)
BY
{ FOOrIntroLeft }

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

---

Latex:

---

Latex:

9.  x  :  Dom@i
10.  ((B  x)  \mvee{}  ((B  x)  {}\mRightarrow{}  A))  {}\mRightarrow{}  A@i
11.  B  x@i
\mvdash{}  (B  x)  \mvee{}  ((B  x)  {}\mRightarrow{}  A)


By

---

Latex:
FOOrIntroLeft

---

Home Index