- Use The Following Rules Of Inference Universal Instantiation Disjunctive Syllogism Modus Tollens And Existential Gene 1 (54.97 KiB) Viewed 235 times
Use the following rules of inference: universal instantiation, disjunctive syllogism, modus tollens and existential gene
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Use the following rules of inference: universal instantiation, disjunctive syllogism, modus tollens and existential gene
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.