Help on assignment 1

Posted by KeithF
Announcements Last Post
SoC Curricula 09/30/2017 01:08PM
Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
School of Computing Short Learning Programmes 11/24/2014 08:37AM
Unisa contact information 07/28/2011 01:28PM
 Help on assignment 1 March 21, 2008 03:59PM Registered: 13 years ago Posts: 39 Rating: 0
Right! Assignment 1 is just about done and dusted, with the exception of questions 12 and 15. Any hints?

Question 12 looks like it's asking us to prove De Morgan's theorem. Am I correct in this? Even then, I have no idea about how to tackle it.

Question 15: Drawing the DAG for a formula is not a problem, but how the heck do you draw a DAG for a sequent? Do you need to get it into a single formula? How do you do that?

Any tips would be most appreciated.
 Re: Help on assignment 1 March 25, 2008 06:41PM Registered: 11 years ago Posts: 239 Rating: 0
Yes I think 12 is de Morgan. I can't really help you with it unless I give you my solution - which might be wrong since I'm not very good at these.

What I did with 15 was link it all together as "If This and That then TheOther"
HTH
JoJ.
 Re: Help on assignment 1 March 26, 2008 08:37AM Registered: 13 years ago Posts: 39 Rating: 0
Thanks Jo,

I've got the first bit of De Morgens sorted, but the proving it in the other direction has me stumped (if that didn't make sense, then don't worry).

Just to clarify, the sequent is p V q, p -> r |- r

So, according to what you say, I should draw a DAG for

[(p V q) ^ (p -> r)] -> r

Thanks for the help
 Re: Help on assignment 1 March 26, 2008 01:15PM Registered: 11 years ago Posts: 239 Rating: 0
Sure Keith - that's what I did.

For De Morgan, going both ways, I started by assuming the negation of what I was trying to prove and Ã‚Â¬Q. Does that help?
JoJ.
 Re: Help on assignment 1 March 26, 2008 01:33PM Registered: 13 years ago Posts: 39 Rating: 0
Yup, that's what I'm doing (staring with Ã‚Â¬Q), but it only seems to work one way. I sure it's just a case of me having to sit with it a bit longer and trying a few different things.

Thanks again
Sorry, only registered users may post in this forum.