---

Step * 1 1 of Lemma Peirce's-law-iff-xmiddle


1. [P] : ℙ
2. [B] : ℙ
3. (((P ∨ (P ⇒ B)) ⇒ B) ⇒ (P ∨ (P ⇒ B))) ⇒ (P ∨ (P ⇒ B))
⊢ P ∨ (P ⇒ B)
BY
{ (D (-1) THEN Auto) }

---

Latex:

---

Latex:

1.  [P]  :  \mBbbP{}
2.  [B]  :  \mBbbP{}
3.  (((P  \mvee{}  (P  {}\mRightarrow{}  B))  {}\mRightarrow{}  B)  {}\mRightarrow{}  (P  \mvee{}  (P  {}\mRightarrow{}  B)))  {}\mRightarrow{}  (P  \mvee{}  (P  {}\mRightarrow{}  B))
\mvdash{}  P  \mvee{}  (P  {}\mRightarrow{}  B)


By

---

Latex:
(D  (-1)  THEN  Auto)

---

Home Index