Discrete Mathematics: Chapter 1: The Foundations: Logic and Proofs Section 1.5: Nested Quantifiers
Discrete Mathematics: Chapter 1: The Foundations: Logic and Proofs Section 1.5: Nested Quantifiers
• Two quantifiers are nested if one is within the scope of the other.
• ∀x Q(x)
• Q(x) is ∃yP(x,y)
• P(x,y) is (x + y = 0)
Nested quantifiers (example)
Solution:
Solution:
Solution:
• Determine individual propositional functions
• S(x): x is a student.
• C(x): x is a computer science major.
• T(x,y): x takes a course y.
• Translate the sentence into logical expression
∀x((S(x) ^ C(x)) → ∃yT(x,y))
Domain of x: all people
Domain of y: all courses in mathematics
Negating quantified expressions
¬ ∀x P(x) ∃x ¬P(x)
¬ ∃x P(x) ∀x ¬P(x)
Negating nested quantifiers
(example)