1.4 Predicates and Quantifiers Flashcards
1
Q
Universal Quantifiers
A
The predicate is true for every element in domain
2
Q
Existential Quantifiers
A
The predicate is true for one or more elements in the domain
3
Q
When is the universal quantifier true
A
P(x) is true for every x
4
Q
When is the universal quantifier false
A
When there is an x for which P(x) is false (a counterexample)
5
Q
When is the existential quantifier true
A
When there is an x for which P(x) is true
6
Q
When is the existential quantifier false
A
P(x) is false for every x
7
Q
Uniqueness Quantifier
A
There exists a unique x such that P(x) is true
