Could anyone who has Tutorial Letter 101 for

Thanks.]]>

The exam was more complex than the sample paper, but I should pass :)]]>

I have previously posted this link. Not sure how many read it but here it is again. http://ggww2.stanford.edu/GUS/lpl/solutionspage.jsp

These are some great solutions to some of the questions in the prescribed book. I found this extremely helpful, so I thought I would just share this.

Hope this helps!!!

Happy exam prepping! :)]]>

Has there been any tutorial letter sent out regarding the exam yet, perhaps including last years exam paper and just tips and hints for the exam?]]>

Has there been any tutorial letter sent out regarding the exam yet, perhaps including last years exam paper and just tips and hints for the exam?]]>

http://ssdi.di.fct.unl.pt/~pb/cadeiras/lc/0102/lpl%20textbook.pdf

It's 3.72 megs, so it shouldn't take you too long to download.

Take care! :)-D]]>

.

.

.

Cube(c)

Which are clearly contradictory

how do I prove a contradiction in Fitch without citing any CON reasons?]]>

A \/ B --> A /\ B]]>

| P or Q | Ã‚Â¬Q Ã¢â€Å“-- P | - P reiteration (3) Ã¢â€Å“-- Q | - Ã¢â€Â´ contradiction intro (2,5)I can't prove P in line 7.]]>

I've been working on this question for most of yesterday and all of this evening and I'm stuck. I'm using Fitch to tell me if the proof is right and I just can't seem to get it.

I've tried to use two subproofs, one for Cube(c) and one for Dodec(c) but I don't get anywhere with that. Then I tried a subproof for the assumption of b=c, which I can get to a contradiction but then I don't know what to do next.

1. Cube(c) v Dodec(c)

2. Tet(b)

----

3.1 b = c

----

3.2 Cube(b) v Dodec(b)

3.2.1.1 Cube(b)

----

3.2.1.2 (contradiction)

3.2.1.3 ~(b = c)

3.2.2.1 Dodec(b)

----

3.2.2.2 (contradiction)

3.2.2.3 ~(b = c)

3.3 (contradiction)

4. ~(b = c)

Fitch doesn't like the steps 3.3 and 4. And I also have a feeling I'm going about this all wrong - because this question is worth 8 points in comparison to 2.1 being worth 10 points, which I did in fewer steps than this...

Please could someone point me in the right direction.

Thanks,

Rachel

PS: does anyone know where I can find out more about the error messages that you see when you get a reason wrong in Fitch?]]>

*edit*

Obviously, they can't be 2 things at once. So I'm approaching this by evaluating the bracket first. Then Tet(a) will depend on the truth of Cube(a).

What do you guys think?]]>

ii) FrontOf(b, a) Ã¢Ë†Â§ LeftOf(d, b) Ã¢Ë†Â§ BackOf(f, d) Ã¢Ë†Â§ RightOf(a, f)

iii) Tet(c) Ã¢Ë†Â§ Tet(e) Ã¢Ë†Â§ LeftOf(c, d) Ã¢Ë†Â§ Adjoins(c, e)

iv) Ã‚Â¬LeftOf(c, e) Ã¢Ë†Â§ Ã‚Â¬LeftOf(e, c)

and here I bomb out:

v) Between(b, d, c) Ã¢Ë†Â§ Ã‚Â¬Between(d, c, a)

if c is left of d (line 3) and

d is left of b (line 2) it follows that c is left of b too (ie: c d b)

how can

[between(b,d,c) and not between(d,c,a)] be true?

more specifically, how can b be between d and c? Has anyone solved this (and verified it with the tarski program)?

First I thought it may be a "trick" statement but F Ã¢Ë†Â§ * = F always :(.]]>

Does anyone know what the D should be? (I'm assuming its a typo)..]]>

Please could any student who has notes for this subject, please email them to me!

This is my last year and I've taken on a heavy load. I need all the help I can get.

I'm getting married in September and am worried about exam prep.

Thanks]]>