Logic lecture 7

This evening we spent most of the time on proofs after going over the rest of the inference rules and replacement rules. There were two quiz questions this evening. The first was do you think God has to be logical? The second was to do problem 11 in exercise 8F section IV. Keep in mind that next week the last part of class will be test 3 based on that exercise.