Logic Homework

Do the following two problems below (they are from the text) and email me your answers:



Problem 8.9:

This exercise uses the function MapColor (x) and predicates In (x,y), Borders (x,y), and Country (x), whose arguments are geographical regions, along with constant symbols for various regions. In each of the following we give an English sentence and a number of candidate logical expressions. For each of the following expressions, state whether it

  1. correctly expresses the English sentence;
  2. is syntactically invalid and therefore meaningless; or
  3. is syntactically valid but does not express the meaning of the English sentence.



Problem 8.10:

Consider a vocabulary with the following symbols:

Use these symbols to write the assertions in parts a through g in first order logic. Here are a few examples:

Now the homework: