Friday, April 14, 2017

The test on Monday will have roughly the same format as the first test. It will involve 5 problems worth 5 points each as follows:
1. The semantics of modal logic, in which you evaluate formulas with respect to a model.
2. A proof in modal logic. It will be very similar to one of the homework problems.
3. The semantics of free logic, in which you evaluate formulas with respect to a model.
4. A proof in free logic. It will be very similar to one of the homework problems.
5. The semantics of multi-valued logic (both finite and infinite), in which you will evaluate the truth values of a list of propositions relative to specific truth value assignments. For finite multi-valued logic you should know both Bochvar's and Kleene's approach, which I will refer to on the test as Policy 1 and Policy 2 respectively (just as in the notes.)
There will be no set theory on the test. As before, it is closed book, but I will provide a sheet containing relevant material (inference rules and equivalences) from the first test as well as the inference rules for modal logic and free logic. It will not contain valuation rules for the truth values of formulas on any system.

Sunday night I will put the models up here for 1 and 3 so that you don't have to spend time assimilating them on Monday.




No comments:

Post a Comment