---

Step * 1 of Lemma sq_stable__implies


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

---

Latex:

---

Latex:

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


By

---

Latex:
Auto

---

Home Index