Exercise 8.13 [language-determination-exercise]

Complete the following exercises about logical sentences:

  1. Translate into good, natural English (no $x$s or $y$s!):
  1. Explain why this sentence is entailed by the sentence
  1. Translate into first-order logic the following sentences:

    1. Understanding leads to friendship.

    2. Friendship is transitive.

    Remember to define all predicates, functions, and constants you use.

View Answer