CSE 1201, Week#2, Lecture#4
CSE 1201, Week#2, Lecture#4
Discrete Mathematics
Lecture 4
Predicates and Quantifier
Outlines
Predicates
Quantifiers
Applications of Quantifiers
Multivariable Quantifiers
2
Predicates (Propositional
Function)
and
Quantifiers
Predicates (Propositional Function)
• So far we can represent the statement – “10 > 100” or “10 <=
100”
• But we can’t represent - “x > 3,” “x = y + 3,” “x + y = z,”
• Can represent – “Jorna knows C programming.”
• Can’t represent – “X knows C programming.”
• Can’t represent – “Every student know C programming.”
• Can’t represent – “At least one student know C programming.”
4
Predicates : “x is greater than 3”
“x is greater than 3” has two parts
• “x is greater than 3” – the variable x, is the subject of the
statement.
• “x is greater than 3” – the predicate, refers to a
property that the subject of the statement can have.
• We can denote the statement “x is greater than 3” by P(x),
• Where P denotes the predicate “is greater than 3” and
• x is the variable.
5
Predicates : “x is greater than 3”
• We can denote the statement “x is greater than 3” by P(x),
• Where P denotes the predicate “is greater than 3” and
• x is the variable.
• The statement P(x) is also said to be the value of the propositional
function P at x.
6
Predicates : Some Example
Example 1
Let Q(x, y) denote the statement “x = y + 3.” What are the truth
values of the propositions Q(1, 2)and Q(3, 0)?
Example 3
Let R(x, y, z) denote the statement “x + y = z.” What are the truth
values of the propositions R(1,2,3) and R(0,0,1)?
7
Quantifiers
What is it?
Quantification is a way to create a proposition from a
propositional function (predicate).
Quantification expresses the extent to which a
predicate is true over a range of elements.
• English words all, some, many, none, and few are used in
quantifications.
8
Quantifiers : Types
9
The Universal Quantifier
Definition
10
The Universal Quantifier : True/False?
Definition
12
The Existential Quantifier : True/False?
14
Quantifiers : Example
Let Q(x) be the statement “x < 2.” What is the truth value of the
quantification ∀x Q(x), where the domain consists of all real numbers?
Solution : Q(x) is not true for every real number x, because, for
instance, Q(3) is false. That is, x = 3 is a counter example for the
statement ∀x Q(x). Thus ∀x Q(x) is false.
Let P(x) denote the statement “x > 3”. What is the truth value of the
quantification ∃x P (x), where the domain consists of all real numbers?
15
Negating Quantified Expressions
P(x) = “Student x in your class has taken a course in calculus.”
17
Applications Area
18
Translating English Sentences
Express the statement “Every student in this class has studied
calculus” using predicates and quantifiers.
• Rewrite: “For every student in this class, that student has studied
calculus.”
• Use variable x : “For every student x in this class, x has studied
calculus.”
• C(x), which is the statement “x has studied calculus.”
• ∀x C(x) [OK, if the domain for x consists of the students in the
class]
19
Translating English Sentences
Express the statement “Every student in this class has studied
calculus” using predicates and quantifiers.
20
Multivariable Predicates
M(X, Y) : X has emailed Y
• ∀X ∀Y M(X, Y)
• ∀X ∃Y M(X, Y)
• ∃X ∀Y M(X, Y)
• ∃X ∃Y M(X, Y)
21
Multi Variable Quantifier Negation
M(X, Y) : X has emailed Y
• ∀X ∀Y M(X, Y) X ∃Y M(X, Y)
• ∀X ∃Y M(X, Y) X YM(X, Y)
• ∃X ∀Y M(X, Y) X Y M(X, Y)
• ∃X ∃Y M(X, Y) X Y M(X, Y)
22
Multi Variable Quantifier Negation
De-Morgans Law
¬ ∀ 𝑥 ∀ 𝑦 𝑃 ( 𝑥 , 𝑦 ) ⋀Q ( x , y ) ≡∃ 𝑥 ∃ 𝑦 ¬𝑃(𝑥 , 𝑦)⋁ ¬𝑄(𝑥, 𝑦)
23
END