First-Order Logic
CSC 261 - 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. The sentence "∀ x P is true in a given model under a given interpretation if P is true in all possible extended interpretations constructed from the given interpretation, where each extended interpretation specifies a domain element to which x refers. (p. 249)" Rewrite this definition in your own words and briefly explain what it means to you.
  4. Identify (and briefly elaborate on) the sentence, section or concept from the current reading that remains the most confusing to you.


File translated from TEX by TTH, version 3.86.
On 30 Oct 2009, 15:58.