First-Order Logic

CSC 261 - Artificial Intelligence - Weinman



Answer the following questions. Record your answers in your Reading Journal.
  1. In your own words, describe the difference between models in propositional logic and models in first-order logic.
  2. Identify the sentence or short passage that you feel best illustrates the relationship between quantifiers and logical connectives (c.f., Table 7.8). Briefly explain why you selected this passage.
  3. Russel and Norvig define the universal quantifier by saying
    ∀ x P is true in a given model if P is true in all possible extended interpretations constructed from the interpretation given in the model, where each extended interpretation specifies a domain element to which x refers. (pp. 295-296)
    Rewrite this definition in your own words and briefly explain what it means to you.
  4. Identify the sentence, section or concept from the current reading that remains the most confusing to you. Briefly (3-5 sentences) explain what you find confusing about it.