DS Lecture IV
DS Lecture IV
The domain of a predicate variable is the set of all values that may be substituted in
place of the variable.
The domain is the set of all possible values that the variable can take. It defines the
range of values where the predicate is checked.
Example:
•If the domain is D={1,2,3,4,5} , then x can only be one of these numbers.
Truth Set
If P(x) is a predicate and x has domain D, the truth set of P(x) is the set of all
elements of D that make P(x) true when substituted for x.
Example:
•Predicate: P(x) = x>3 Domain: D={1,2,3,4,5}
•Now check the predicate for each value in the domain:
•For x=4: True
•For x=5x = 5x=5: True
Truth Set: {4,5}
4
Notation
6
Cont…
Let Q(x, y) be the statement
x+y=x−y
where the domain for x and y is the set of all real numbers. Determine
the truth value of:
(a) Q(5,−2).
(b) Q(4.7, 0).
(c) Determine the set of all pairs of numbers, x and y, such that Q(x, y)
is true.
8
Quantifier
9
10
11
Universal and Existential Statements