Step
*
of Lemma
example1
∀[A,B,C:Type]. (((A
⇒ B)
⇒ A)
⇒ (B
⇒ C)
⇒ (A
⇒ B)
⇒ (¬¬C))
BY
{ BasicUniformUnivCD Auto }
1
1. [A] : Type
2. [B] : Type
3. [C] : Type
⊢ ((A
⇒ B)
⇒ A)
⇒ (B
⇒ C)
⇒ (A
⇒ B)
⇒ (¬¬C)
Latex:
Latex:
\mforall{}[A,B,C:Type]. (((A {}\mRightarrow{} B) {}\mRightarrow{} A) {}\mRightarrow{} (B {}\mRightarrow{} C) {}\mRightarrow{} (A {}\mRightarrow{} B) {}\mRightarrow{} (\mneg{}\mneg{}C))
By
Latex:
BasicUniformUnivCD Auto
Home
Index