DISCRETE MATH: Use rules of inference to show that...

by VinnyCee
Tags: discrete, inference, math, rules
VinnyCee is offline
Jan25-07, 01:35 PM
P: 492
1. The problem statement, all variables and given/known data

Use rules of inference to show that if [tex]\forall\,x\,(P(x)\,\vee\,Q(x))[/tex] and [tex]\forall\,x\,((\neg\,P(x)\,\wedge\,Q(x))\,\longrightarrow\,R(x))[/tex] are true, then [tex]\forall\,x\,(\neg\,R(x)\,\longrightarrow\,P(x))[/tex] is true.

2. Relevant equations

Universal instantiation, Disjunctive syllogism, Conjunction.

3. The attempt at a solution

1) [tex]\forall\,x\,(P(x)\,\vee\,Q(x))[/tex] Premise

2) [tex]P(a)\,\vee\,Q(a)[/tex] Universal instantiation of (1)

3) [tex]\neg\,P(a)[/tex] Disjunctive syllogism of (2)

4) [tex]\forall\,x\,((\neg\,P(x)\,\wedge\,Q(x))\,\longrightarrow\,R(x))[/tex] Premise

5) [tex](\neg\,P(a)\,\wedge\,Q(a))\,\longrightarrow\,R(a)[/tex] Universal instantiation of (4)

6) [tex]R(a)[/tex] Modus Ponens of (5)

Here I am stuck, any suggestions?
Phys.Org News Partner Science news on Phys.org
Going nuts? Turkey looks to pistachios to heat new eco-city
Space-tested fluid flow concept advances infectious disease diagnoses
SpaceX launches supplies to space station (Update)

Register to reply

Related Discussions
DISCRETE MATH: Use math. induction to show that at least 1 integer can divide another Calculus & Beyond Homework 4
Logic: Rules of Inference Calculus & Beyond Homework 0
Simple math rules seem contradictory... :( General Math 6
discrete math Calculus & Beyond Homework 3
Math Rules Chem:) Chemistry 12