Welcome! Log In Create A New Profile

Advanced

Assignment 2

Posted by Tracey 
Announcements Last Post
Announcement SoC Curricula 09/30/2017 01:08PM
Announcement Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
Announcement School of Computing Short Learning Programmes 11/24/2014 08:37AM
Announcement Unisa contact information 07/28/2011 01:28PM
Forums Messages New
Tracey
Assignment 2
May 31, 2007 09:26PM
I must be the only one struggling a bit because there aren't any other threads on the assignment.

I'm only stuck on question 2.4. I can get ~PVQ from P->Q but now I just need to get P->Q from ~PVQ. I just want a small hint, I want to be able to figure out as much of it on my own as possible.
Reply Quote
jeanbodemer
Re: Assignment 2
June 01, 2007 10:39AM
The difficult part for me was getting ~P v Q from P -> Q, it took me 20 steps. So the hard part is over.

Obviously you need another subproof for ~P v Q where you derive P -> Q. In this you need another subproof P where you drive Q. In that you need another two subproofs, but telling you which would be giving it away.

Hope that is enough help (and not too much)
Reply Quote
Tracey
Re: Assignment 2
June 01, 2007 11:12AM
There was a similar example in the textbook of the first part so I used that.
Reply Quote
Tracey
Re: Assignment 2
June 01, 2007 03:44PM
Its not too much help but not quite enough. Friday's not the best day to think about an assignment though so maybe I'll get it right with the help that you've given me over the weekend.
Reply Quote
AndreB
Re: Assignment 2
June 02, 2007 01:22PM
Can anyone help me with number 13 of Question 1?
It's the only one i'm not getting here.
Reply Quote
AndreB
Re: Assignment 2
June 02, 2007 02:20PM
I've just had a look at the solution to number 13. It is given as Larger(a,c) ^ Larger(e,c) ^ !(Large(a) v Large(e)).
I thought that all of these had to make use of the propositional connectives. My understanding of this is that it should include the use of -> or <->.
I've just spent more than an hour on this single question - dumb ass
Reply Quote
AndreB
Re: Assignment 2
June 03, 2007 06:23PM
Finally done, and quite a killer this one was.
Question 2.4 was a little tricky, and I resolved to using Taut Conn in the last half of the proof.
Thanks to all those who helped.
Reply Quote
Newer Topic Older Topic
Sorry, only registered users may post in this forum.

Click here to login