Since there is no Take Home portion for Exam 3, I have prepared a Practice Exam 3 you can take to prepare for our last exam. You should take it before we get together on the last day of class to review for the Exam.

Here are links to two .zip archives. The first contains a practice exam booklet and the files to use while doing the Practice Exam. The second contains sample answers for the practice exam questions:

The practice exam is intended to closely resemble the real exam you'll be taking during Finals Week. *Remember that this is not a cumulative final exam.* It only covers material from chapters 11 and 13

The real Exam 3 is worth 260 points, or 26% of your course grade.

The exam is divided into two parts. Part I covers translations involving quantifiers, and is worth 100 points. Part II covers proofs and counterexamples involving quantifiers, and it is also worth 100 points. Then, in order to make the exam total 260 points, I take the part on which you earned the higher score, multiply it by 60%, and then add that to your total points. So, for instance, if you earned a 68 out of 100 on the Part I (Translations), and then a 82 out of 100 on Part II (Proofs and Counterexamples), then your grade for the exam would be 68 + 82 + (60% * 82) = 199.2 out of 260 points.

Remember: You will be permitted to use Taut Con freely on each proof on Exam 3.

**Problem R. Quantifier Translations: Step by Step Method (50 pts; 10 pts per sentence)**- Take 5 English sentences and translate them into FOL. You won't be required to use the Step by Step method (you won't have to show your work), but the problems will be a whole lot easier if you do.
**Problem S. Quantifer Translations, Including Paraphrasing (50 pts; 10 pts per sentence)**- Take 5 English sentences and translate them into FOL. These will be harder sentences, including ones that might require you to do some paraphrasing.

**Note About Con-Rules**- For the proofs on this exam, you will be permitted to use Taut Con freely, but you will not be permitted to use FO-con. You will not be permitted to use AnaCon unless a problem explicitly tells you that you can, and its use would be restricted to literals. (Note: the practice exam does not have any problems requiring or permitting or requiring Ana Con.)
**Problem T. Quantifier Proof—Easy Rules Only (20 pts)**- Construct a proof of a valid argument involving quantifiers. The proof will not use either of the harder two of our four quantifier rules (the two that require subproofs).
**Problem U. Quantifier Proof (30 pts)**- Use Fitch to construct a proof of a valid argument. Any of our four quantifier rules might be needed.
**Problem V. Quantifier Proof (30 pts)**- Use Fitch to construct a proof. Any of our four quantifier rules might be needed. (Note: this proof could be either a proof of a valid argument or a proof of a theorem.)
**Problem W. Validity/Invalidity (20 pts)**- Determine whether an argument is valid or invalid. Construct a proof in Fitch if the argument is valid, or construct a Counterexample in Tarksi's World if it is invalid.

**Note about .zip archives: **Most computers will automatically
open zip archives when you double-click on them. (Macintoshes are
especially good at this.) But if your machine doesn't open it, you
can get free software that will help you open it. Download the
excellent, free "Zip Genius" program for
Windows here.

Good Luck!