---

Step * of Lemma fo-logic-xmiddle

∀x:Dom. ((((B x) ∨ ((B x) ⇒ A)) ⇒ A) ⇒ A)
BY
{ StartFO }

1
⊢ ∀x:Dom. ((((B x) ∨ ((B x) ⇒ A)) ⇒ A) ⇒ A)

---

Latex:


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


By

StartFO

---

Home Index