Home /
Expert Answers /
Computer Science /
1-inference-proofs-use-laws-of-equivalence-and-inference-rules-to-show-how-you-can-derive-the-con-pa608
(Solved):
1 Inference proofs Use laws of equivalence and inference rules to show how you can derive the con ...
1 Inference proofs Use laws of equivalence and inference rules to show how you can derive the conclusions from the given premises. Not all givens may be necessary Be sure to cite the rule and line number(s) used at each step.
b) Givens Hint: Consider the direct proof rule \[ \begin{array}{l} 1 p \wedge q \rightarrow r \\ 2 s \rightarrow q \\ 3 \neg p \rightarrow \neg s \end{array} \]
\( 2 \neg p \wedge \neg r \)
a) Step by Step proof with justification using rules of Inference: 1. p-> (qvr) 2. p/\~q Premise - Premise 3. p 4. qvr - Simplification (2) - Modus Ponens (1) and (3) 5. ~9 6. r - Simplification (2) (5) - Disjunctive Syllogism