First Order Logic

CSC 261 - Artificial Intelligence - Weinman



Answer the following questions. Record your answers in your Reading Journal.
  1. In your own words, briefly describe the difference between propositional and 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. (p. 295-296)
Rewrite this definition in your own words and briefly explain what it means to you.
  1. Identify (and briefly elaborate on) the sentence, section or concept from the current reading that remains the most confusing to you.