---

Step * of Lemma minimal-double-negation-hyp-elim

∀[A,P,Q:ℙ].  ((P ⇒ Q ⇒ A) ⇒ ((P ⇒ A) ⇒ A) ⇒ Q ⇒ A)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[A,P,Q:\mBbbP{}].    ((P  {}\mRightarrow{}  Q  {}\mRightarrow{}  A)  {}\mRightarrow{}  ((P  {}\mRightarrow{}  A)  {}\mRightarrow{}  A)  {}\mRightarrow{}  Q  {}\mRightarrow{}  A)


By

---

Latex:
Auto

---

Home Index