Reply
Thu 25 Apr, 2013 10:06 am
Ughh...this is soooo confusing....PLEASE HELPPPPPP...
)
Construct the deductions for each of the following using Group 1 rules:
A) 1. ~P
2. ~(R&S)vQ
3. ~P-->Q /.: (R&S)
B) 1. P-->~(Q&T)
2. S-->(Q&T)
3. P /.: ~S
C) 1. (PvT)-->S
2. R-->P
3. RvQ
4. Q-->T /.: S
@lisalesa29,
A) There's something wrong with this one. 1,3 implies Q, which means 2 is true independent of ~(R&S).
B)
~(Q&T) 1, 3, MP
~S 2, previous, MT
C)
PvT 2, 3, 4, CD
S 1, previous, MP
@markr,
should be (last line) ~(R & S)
@lisalesa29,
and...what does previous mean?