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