Step
*
1
1
1
1
2
of Lemma
implication3
1. [P] : ![](../FONT/prop.png)
2. [Q] : ![](../FONT/prop.png)
3. P ![](../FONT/eq.png)
 Q@i
4. 
P@i
 (
P) 
 Q
BY
{ (OrLeft THENA Auto) }
1
1. [P] : ![](../FONT/prop.png)
2. [Q] : ![](../FONT/prop.png)
3. P ![](../FONT/eq.png)
 Q@i
4. 
P@i
 
P
1.  [P]  :  \mBbbP{}
2.  [Q]  :  \mBbbP{}
3.  P  {}\mRightarrow{}  Q@i
4.  \mneg{}P@i
\mvdash{}  (\mneg{}P)  \mvee{}  Q
By
(OrLeft  THENA  Auto)
Home
Index