Exercise 4.
Is the following a valid deduction rule? Explain.
\(P \imp Q\) | |
\(P\imp R\) | |
\(\therefore\) | \(P \imp (Q \wedge R)\text{.}\) |
Is the following a valid deduction rule? Explain.
\(P \imp Q\) | |
\(P\imp R\) | |
\(\therefore\) | \(P \imp (Q \wedge R)\text{.}\) |