Reply
Thu 2 May, 2013 04:36 pm
How do I do these two?
1. 1.(S&R)-->P
2. (R-->P)-->W
3. S /.:W
4. S-->(R-->P) 1,EXPORT
5. ...STUCK
2. 1. ~L-->(~P-->M)
2. ~(PvL) /.: M
3. P-->L 2,IMPL
4. STUCK
@lisalesa29,
For the first one, what can you deduce from 3 and 4?
For the second one, your first step is wrong. From 2, you can deduce two things:
~P
~L
@markr,
I notice you didn't mention that you're limited to group 1 rules. For the second one, use DeMorgan's Law from group 2.
Stumble It!
Tweet This
Bookmark on Delicious
Share on Facebook
Share on MySpace