Welcome! Log In Create A New Profile


Ass2 Qu2 (1.1)

Posted by VeerVortexus 
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
Ass2 Qu2 (1.1)
May 30, 2006 04:08PM
Hello All.

I am having trouble with this question, can someone please help me.

i break the disjuncts of B v C up, but when i do the subproofs for B, i can only prove A/\B for that subproof, and when i do the subproof for C i only prove A/\C. How do i prove A/\C for subproof B and A/\B for subproof C.What am i missing?

After all you have to prove (A/\cool smiley for disjuncts B and C, and also have to prove (A/\C) for disjuncts B and C.

Thanks for the help.

Re: Ass2 Qu2 (1.1)
May 30, 2006 06:08PM
I still dont understand.If i have proved A/ \B in subproof B, then youre saying i should use V Intro, but thats not possible, because i have only proved one half of that subproof.I still need to show that i can derive A/\C from it as well, even when i prove in subproof C that A/ \C, thats only one half of the other half.

In other word to perform V Intro, i would have to prove that

C---> A/ \B i must still prove thsi to be allowed to perfrm v Intr
C---> A/ \C i get this part
B---> A/ \B i get this part
B---> A/ \C i must still prove this to be allowed to perfrm v Intr

Proof by cases as above.

So that both disjuncts derive the same conclusion in each instances.

Am i understanding this.

Thank you.
Re: Ass2 Qu2 (1.1)
May 30, 2006 06:19PM
PLEASE FORGIVE ME!!I have just worked it out.My goodness, it was so simple an i know it was, but i was delving so deeply into the rules, that i missed the whole simplicity of it all.Sorry, im a real dumbo at times.Thanks for the hint, i saw it immediately after the above post was sent, so please ignore that post.

Much appreciated for the help, and sorry if i wasted your time.

Re: Ass2 Qu2 (1.1)
May 30, 2006 09:55PM
No problem and no time wasted.
This module is not not easy and sometimes a little help goes a long way to make things clearer.

Sorry, only registered users may post in this forum.

Click here to login