Tuesday we will move on to derivations in free logic. As the notes and book explain, this involves the adoption of new rules for the quantifiers, so when you do free logic you can not use the regular quantifier rules from predicate logic. All other inference rules and equivalences apply, including rules for modal operators.
Here is the homework for Tuesday. Turn in problems 1-3. Answer the question posed under 1. I'll assign problems from the same page for Thursday, but I'm not sure which ones yet.
No comments:
Post a Comment