Implicational propositional calculus


THEOREM    \(\vdash P \Rightarrow P\)

Proof available

THEOREM    \(\vdash P \Rightarrow Q \Rightarrow P\)

Proof available

THEOREM    \(\vdash (P \Rightarrow Q \Rightarrow R) \Rightarrow ((P \Rightarrow Q) \Rightarrow P \Rightarrow R)\)

Proof available