Use the following rules of inference: universal instantiation, disjunctive syllogism, modus tollens and existential gene

[answerhappygod]

Use The Following Rules Of Inference Universal Instantiation Disjunctive Syllogism Modus Tollens And Existential Gene 1 (54.97 KiB) Viewed 237 times

Use the following rules of inference: universal instantiation, disjunctive syllogism, modus tollens and existential generalisation to show that: if: Hypothesis 1: Væ(P(x) VQ(x)) Hypothesis 2: V«(-Q(x) V S(x)) Hypothesis 3: Vx(R(x) + -S(x)) Hypothesis 4:3x-P(x) are true then: Conclusion: 3x R(x) is true.