Posted by Rajeev

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 |

Assignment 02, Quest 01 April 25, 2006 05:28PM |
IP/Host: ---.intnet.mu Registered: 13 years ago Posts: 3 Rating: 0 |

Hello Everybody,

I've already ordered the prescribed book but unfortunately, due to a misunderstanding with the bookseller , i havn't received it yet. I' already missed the first assignment and I absolutely need to attempt the second one to gain exam sitting.

Since question 1 of assignment02 is from the prescribed book, can you please send me the question.

Thanks a lot,

Cheers.

I've already ordered the prescribed book but unfortunately, due to a misunderstanding with the bookseller , i havn't received it yet. I' already missed the first assignment and I absolutely need to attempt the second one to gain exam sitting.

Since question 1 of assignment02 is from the prescribed book, can you please send me the question.

Thanks a lot,

Cheers.

Anonymous User
Re: Assignment 02, Quest 01 April 28, 2006 12:26PM |
IP/Host: ---.saix.net Rating: 0 |

The next two exercises present valid arguments. Turn in informal proofs of the arguments' validity. Your proofs should be phrased in complete, well-formed English sentences, making use of first-order sentences as convenient, much in the style we have used above. Whenever you use proof by cases, say so. You don't have to be explicit about the use of simple proof steps like conjunction elimination. By the way,, there is typically more than one way to prove a given result.

(Exercises 5.7 and 5.8 are given, but for the assignment, we just have to do 5.7.)

5.7

Ã¢â€â€šHome(max) V Home(claire)

Ã¢â€â€šÃ‚Â¬Home(max) V Happy(carl)

Ã¢â€â€šÃ‚Â¬Home(claire) V Happy(carl)

Ã¢â€â€š__

Ã¢â€â€š

Ã¢â€â€šHappy(carl)

(Exercises 5.7 and 5.8 are given, but for the assignment, we just have to do 5.7.)

5.7

Ã¢â€â€šHome(max) V Home(claire)

Ã¢â€â€šÃ‚Â¬Home(max) V Happy(carl)

Ã¢â€â€šÃ‚Â¬Home(claire) V Happy(carl)

Ã¢â€â€š__

Ã¢â€â€š

Ã¢â€â€šHappy(carl)

Re: Assignment 02, Quest 01 April 30, 2006 03:22PM |
IP/Host: ---.intnet.mu Registered: 13 years ago Posts: 3 Rating: 0 |

Thanks a lot..However I'm still a bit confused.

Ã¢â€â€šHome(max) V Home(claire)

Ã¢â€â€šÃ‚Â¬Home(max) V Happy(carl)

Ã¢â€â€šÃ‚Â¬Home(claire) V Happy(carl)

Ã¢â€â€š__

Ã¢â€â€š

Ã¢â€â€šHappy(carl)

Is this the answer to question 1?

Also, can you please give me a hint on question 1.1

I badly need to send my answers before 10 May because I've missed assignment01.

Thanks

Ã¢â€â€šHome(max) V Home(claire)

Ã¢â€â€šÃ‚Â¬Home(max) V Happy(carl)

Ã¢â€â€šÃ‚Â¬Home(claire) V Happy(carl)

Ã¢â€â€š__

Ã¢â€â€š

Ã¢â€â€šHappy(carl)

Is this the answer to question 1?

Also, can you please give me a hint on question 1.1

I badly need to send my answers before 10 May because I've missed assignment01.

Thanks

Re: Assignment 02, Quest 01 May 01, 2006 01:23PM |
IP/Host: ---.gprs.vodacom.co.za Registered: 13 years ago Posts: 1,424 Rating: 0 |

Hey Rajeev

That's not the answer, that's the question. The authors of the textbook use a slightly different notation to that used by Gutenplan from COS161.

To translate:

let P = Max is home

let Q = Claire is home

let R = Carl is happy

Then by Gutenplan's notation, the question becomes

P v Q, Ã‚Â¬P v R, Ã‚Â¬Q v R |- R

The question requires an informal proof which is just basically using ordinary english to create the proof. The textbook give the following as an example of an informal proof:

Since Socrates is a man and all men are mortal, it follows that Socrates is mortal. But all mortals will eventually die, since that is what it means to be mortal. So Socrates will eventually die. But we are given that everyone who will eventually die sometimes worries about it. Hence Socreates sometimes worries about dying.

Hope this helps.

Rob

That's not the answer, that's the question. The authors of the textbook use a slightly different notation to that used by Gutenplan from COS161.

To translate:

let P = Max is home

let Q = Claire is home

let R = Carl is happy

Then by Gutenplan's notation, the question becomes

P v Q, Ã‚Â¬P v R, Ã‚Â¬Q v R |- R

The question requires an informal proof which is just basically using ordinary english to create the proof. The textbook give the following as an example of an informal proof:

Since Socrates is a man and all men are mortal, it follows that Socrates is mortal. But all mortals will eventually die, since that is what it means to be mortal. So Socrates will eventually die. But we are given that everyone who will eventually die sometimes worries about it. Hence Socreates sometimes worries about dying.

Hope this helps.

Rob

Re: Assignment 02, Quest 01 May 07, 2006 02:20PM |
IP/Host: ---.intnet.mu Registered: 13 years ago Posts: 3 Rating: 0 |

Anonymous User
Re: Assignment 02, Quest 01 May 31, 2006 08:52PM |
IP/Host: ---.mweb.co.za Rating: 0 |

Re: Assignment 02, Quest 01 May 31, 2006 09:44PM |
IP/Host: ---.gprs.vodacom.co.za Registered: 13 years ago Posts: 1,424 Rating: 0 |

Sorry, only registered users may post in this forum.