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