Hypothetical syllogism


THEOREM (Hypothetical syllogism)   

The material conditional relation is transitive.

$$P \Rightarrow Q,\ Q \Rightarrow R \vdash P \Rightarrow R$$

Proof available