## Thursday, April 27, 2017

## Wednesday, April 26, 2017

## Tuesday, April 25, 2017

## Thursday, April 20, 2017

## Wednesday, April 19, 2017

## Tuesday, April 18, 2017

## Monday, April 17, 2017

## Sunday, April 16, 2017

See multiple posts below for information regarding Monday's test.

## Saturday, April 15, 2017

## Friday, April 14, 2017

Please see previous post for general description of Monday's test. Here is a sneak peek of the models that will be used for problems 1 and 3 respectively.

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:

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.

1. The semantics of modal logic, in which you evaluate formulas with respect to a model.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.

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.)

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.

## Wednesday, April 12, 2017

## Monday, April 10, 2017

## Thursday, April 6, 2017

## Wednesday, April 5, 2017

Subscribe to:
Posts (Atom)