Logichard
0:00.0
Evaluate the soundness of the following two proposed rules of inference in propositional logic:
$$\text{Rule I: } \frac{P \lor Q, \quad P \implies R}{Q \lor R}$
$\text{Rule II: } \frac{P \implies Q, \quad \neg P}{\neg Q}$$
Evaluate the soundness of the following two proposed rules of inference in propositional logic: $$\text{Rule I: } \frac{P \lor Q, \quad P \implies R}{Q \lor R}$
$\text{Rule II: } \frac{P \implies Q, \quad \neg P}{\neg Q}$$