In addition to everything you needed to know for the tests and assignments, here is another file with extra info for the final, ** April 27th 12-3 Tait MacKenzie Student Field House**.

- When you enter the hall (there is only one entrance) Section N will sit on the columns on then LEFT HAND SIDE.There is a diagram on this web page.
- the first page of the exam will be instructions, read the VERY CAREFULLY, and refer back to them, they wll help you a lot.
- There will be no Metatheorem 9.30 on the exam.
- There will be no translation from english to predicate logic on the exam.
- There will be no testing of theorems 8.22 or 8.23 on the exam.
- There will be no testing of theorems 3.83-3.89 on the exam.
- You will be given sheets with theorems on for the exam, however they will not contain Proof techniques 4.4-4.12, or a truth table.
- Prof Ganong has put up a great file with examples here, and re-iterates stuff I said in class about important theorems in predicate logic. Also check out Prof Dow's last assignment here to see more challenging examples, and how hard the exam won't be. NEW! There are now more examples on the diagram page listed above.
- Note that the "no translation" point above, is not to be confused with the stuff we did on models (given a Ud is this "true" or false"). We did them close together in class, and on the assignment, where I gave you the UD, predicates etc, and then asked you to show they were "true" (they hold) or "false" (they didn't hold). Some have you have asked where you can go to practice such questions, most books on predicate logic, or logic have such questions, only ask you to think up your own UD's and predicates. These are harder, but the examples I did in class should give you ideas for UD's and predicates which will work in answering these.
- Some of you have asked how you end a bullet proof. For this you don't need the paragraph talking about transitivity etc, all you need to do is label the last expression, after the last <...> and write which theorem it is e.g.
=<...> p==true==p - |- 3.3

- Also I know there was a lot to take in when doing implications, and have been asked what are our most useful theorems. Well in my opinion I think the most useful ones are theorems 3.57, 3.59, 3.60, 3.65, 3.76 all parts, and 3.77.