Q4(a) Oct 2010

(If any of you missed this one, it's under Announcements on myUnisa).

Does this look OK?

1. box1... ~p
2. .... box2 .... p (both those assumptions)
3. "bottom". ...................... ~e , 1, 2
4. p -> q ..........................."bottom" e, 3 .............. end of box 2.
5. p -> (p -> q) .................... -> i, 2-4 .................. end of box 1.
6. ~p -> (p -> (p -> q)) ........ -> i, 1-5

Ok mines a bit different
Line 1, and 2 are same bur my line 3

3...(Box) p assumption
4... Bottom ~e1,3
5...q. Bottom e 4 (close box 3)
6 p-->q.... --> I 3-5 (close box 2)
7..P-->(p-->q)...--> 2-7 (close box 1)
8...~p -->(p-->(p-->q)). --> I 1-7

Yes, yee-hah! Indeed you're completely correct!

(Remember the Grade Grinder? It actually motivated me!)

We're both right. I hope. Please tell me if you think my variants are also correct, and the wrong line if not. Not much good going in there feeling good but being wrong eh?

Well, I'm not sure if yours is correct or not. But this is how I learnt the --> intro ...
I look at the question and as far as I know you need to write the p two times as it occurs twice before the --> in your method you state it once but use it twice.
I'm not sure if someone else could perhaps comment, but to be on the safe side, rather just state the p twice. Our exam tut letter says tht our paper will be of a different format as last years. I'm guessing we'll be subjected to much more theory than the previous years. Although I'm hoping not, I guess we might have to learn off some theorems and definitions..

Different format?

I've got a TL which sets out "Q1 will be translations", "Q2 will be theory", "Q3 will be a parse tree" ... and so on. I'd better go and make sure I haven't got something mixed up.

(And we'll all hope that I really do have it all nicely laid out like that, while I do this.)

Its in the same tut letter in the note saying Dear cos3761 student... Last paragraph

OK, I see there.

You're talking about TL104, though, right? So right under that it says what the questions will cover at least. Yes, I suppose there's guaranteed to be some variation in the forms of the questions. The ones that turned out to be too hard will be a bit easier, the ones that were too easy will be harder or replaced.

Anyway, off I go to beat my head against that brick wall hexium has offered for us to smash our brains on...