Hard Logic Questions: Philosophy Forums

Hard Logic Questions
These are hard logic questions

Hard Logic Questions

ace_nz
Initiate

Usergroup: Members
Joined: Apr 21, 2008
Total Topics: 1
Total Posts: 1

Posted 04/21/08 - 01:21 AM: Subject: Hard Logic Questions	#1
I was wondering if anyone could help me with some very hard logic questions. I need the answer ASAP to move onto a next unit. They are as follows: Note :- is "therefore" 1. Q v (R v S) :- Q v (S v R) 2. Q -> R :- (~Q) v R 3. R v S :- (Q -> R) v (Q -> S) 4. (R&Q)v(R&S) :- ((Q -> S) v (R -> S)) -> S 5. Q -> R, (~Q) -> R :- R 6. (Q v R) v (S v T) :- (Q v S) v (R v T) 7. ~(Q&R) :- (~Q) v ~R There you are guys I'll be impressed if you can work them out, I certainly can't. Help with any of these would be much appreciated! Cheers, Mark

Brian Bosse
Aspirant

Usergroup: Members
Joined: Mar 29, 2008
Total Topics: 2
Total Posts: 22

Posted 04/21/08 - 03:13 PM:	#2
Hello Mark, What system of logic are you using? Also, can you show me what work you have done so far? If you are looking for someone to do your homeowrk for you, then this probably is not the place. However, if you are trying to learn this stuff, then you are in the right place. Sincerely, Brian

Goaswerfraiejen
Assistant Professor

Usergroup: Members
Joined: May 04, 2006
Location: Canada
Total Topics: 4
Total Posts: 422

Posted 04/25/08 - 09:25 PM:	#3
If I'm reading those right, most require only one application of the replacement rules.

7
Graduate

Usergroup: Members
Joined: Mar 23, 2008
Total Topics: 3
Total Posts: 153

Posted 04/25/08 - 09:47 PM:	#4
Goaswerfraiejen wrote: If I'm reading those right, most require only one application of the replacement rules. You're reading them right.

You don't have permission to post.