8. 1.6. Scope of Quantifiers

Try these first

1. 1.

   What is universal quantification in logic?

   Hint

   Remember the symbol used for universal quantification.

2. 2.

   What does 'there exists x such that P(x)' mean?

   Hint

   Think about what 'there exists' indicates.

3. 3.

   What is the symbol for universal quantification?

   • ∃
   • ∀
   • ∅

   Hint

   Think about which symbol indicates 'all'.

4. 4.

   True or False: A universal quantification is true if there exists at least one counterexample.

   • True
   • False

   Hint

   Consider how many examples can prove or disprove a universal claim.

5. 5.

   Given the expressions '∀x (x > 3)' and '¬∃x (x ≤ 3)', are they logically equivalent? Prove your answer.

   Hint

   Consider how the negation of an existential quantification relates to universal statements.

6. 6.

   Explain why a free variable can introduce confusion in logical expressions. Provide an illustrative example.

   Hint

   Reflect on how definitions change the meaning of statements.