Example 3.1.6.

Show that

	\(P \imp Q\)
	\(\neg P \imp Q\)
\(\therefore\)	\(Q\)

is a valid deduction rule.

Solution.