@irock323,
irock323 wrote:
Contruct deductions for each of the following using Group I rules. Each should only be a step or two. These are examples of what I am working on and I'm struggling with figuring out exactly what the steps are.
#1.) 1. P --> S
2. P v Q
3. Q -->R /.: S v R
#2.) 1. R & S
2. S --> P /.: P
#3.) 1. (P v Q) --> R
2. Q /.: R
#4.) 1. ~P
2. ~(R & S) v Q
3. ~P --> ~Q /.: ~(R & S)
What are the "Group I rules"?
#2)
1. R & S. premise.
2. S -> P. premise.
3. (R & S) -> S. By: 1, (p & q) -> q.
4. S. By: 1, 3, MP.
5. P. By: 4, 2, MP.
#3)
1. (P v Q) -> R. premise.
2. Q. premise.
3. Q -> (P v Q). By: 2, q -> (p v q).
4. (P v Q). By: 2, 3, MP.
5. R. By: 4, 1, MP.