Example 3.1.7.

Decide whether

	\(P \imp R\)
	\(Q \imp R\)
	\(R\)
\(\therefore\)	\(P \vee Q\)

is a valid deduction rule.

Solution.