Item 3.1.15.a.

Prove that the following is a valid deduction rule:

\(P \imp Q\)
\(Q \imp R\)
\(\therefore\) \(P \imp R\)
in-context