Thursday, February 2, 2017

I have posted the solutions to the last homework as HW 2 in the schedule page. I have commented extensively on some of the ones that we didn't get to and I suggest reviewing it. I will add Monday's homework to this post sometime today.

This is your practice homework, which we will review on Monday.  Your turn in homework is to write down two different predicate logic formulas substantially different from any that occur in the practice homework and which pertain to the same model. Do not create new names or predicates. Evaluate these as true or false in the model and provide reasoning.

The relevant review material for this exercise is to be found in Module 10 on the Philosophy 60 schedule page.

No comments:

Post a Comment