---

Step * of Lemma prank-psub

∀a,b:formula().  (a ⊆ b ⇒ ((a = b ∈ formula()) ∨ prank(a) < prank(b)))
BY
{ xxx(D 0 THENA Auto)xxx }

1
1. a : formula()
⊢ ∀b:formula(). (a ⊆ b ⇒ ((a = b ∈ formula()) ∨ prank(a) < prank(b)))

---

Latex:

---

Latex:
\mforall{}a,b:formula().    (a  \msubseteq{}  b  {}\mRightarrow{}  ((a  =  b)  \mvee{}  prank(a)  <  prank(b)))


By

---

Latex:
xxx(D  0  THENA  Auto)xxx

---

Home Index