Implicational propositional calculus


THEOREM    \(\vdash P \Rightarrow P\)
Proof 1.    
Proof 2.    
Proof 3.    
Proof 4.    
THEOREM    \(\vdash P \Rightarrow Q \Rightarrow P\)
Proof 1.    
Proof 2.    
Proof 3.    
Proof 4.    
THEOREM    \(\vdash (P \Rightarrow Q \Rightarrow R) \Rightarrow ((P \Rightarrow Q) \Rightarrow P \Rightarrow R)\)
Proof 1.    
Proof 2.    
Proof 3.    
Proof 4.