Step * of Lemma minimal-not-not-xmiddle

[P,A:ℙ].  (((P ∨ (P  A))  A)  A)
BY
Auto }

1
1. [P] : ℙ
2. [A] : ℙ
3. (P ∨ (P  A))  A
⊢ A


Latex:


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


By


Latex:
Auto




Home Index