Step
*
1
1
1
1
of Lemma
prob2.3
1. [U] : Type
2. [P] : U ⟶ ℙ
3. [Q] : U ⟶ ℙ
4. x : U@i
5. P x@i
⊢ (P x) ∨ (Q x)
BY
{ (Sel 1 ( D 0) THENA Auto) }
1
1. [U] : Type
2. [P] : U ⟶ ℙ
3. [Q] : U ⟶ ℙ
4. x : U@i
5. P x@i
⊢ P x
Latex:
Latex:
1.  [U]  :  Type
2.  [P]  :  U  {}\mrightarrow{}  \mBbbP{}
3.  [Q]  :  U  {}\mrightarrow{}  \mBbbP{}
4.  x  :  U@i
5.  P  x@i
\mvdash{}  (P  x)  \mvee{}  (Q  x)
By
Latex:
(Sel  1  (  D  0)  THENA  Auto)
Home
Index