Académique Documents
Professionnel Documents
Culture Documents
a) P(0,1)
b) P(0,0)
c) P(1,1)
d) For which (x,y), is the value of P(x,y) true?
A predicate can also be made a proposition by
adding a quantifier. There are three quantifiers:
∃𝑥 ∃𝑦 𝑃(𝑥, 𝑦)
1.15
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∃𝑥 ∀𝑦 𝑃(𝑥, 𝑦)
1.15
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∀x ∃𝑦 𝑃 𝑥, 𝑦
1.15
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∃𝑦∀x 𝑃 𝑥, 𝑦
1.15
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∀𝑦 ∃𝑥 𝑃(𝑥, 𝑦)
Now, Repeat Problem
1.15 , employing
∃! instead of ∃.
1.16
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∃! 𝑥 ∃! 𝑦 𝑃(𝑥, 𝑦)
1.16
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∃! 𝑥 ∀𝑦 𝑃(𝑥, 𝑦)
1.16
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∀x ∃! 𝑦 𝑃 𝑥, 𝑦
1.16
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∃! 𝑦 ∀x 𝑃 𝑥, 𝑦
1.16
Let 𝑃 𝑥 : 𝑥 2 + 𝑦 2 = (𝑥 + 𝑦)2 . Find the values of the
following proposition
∀𝑦 ∃! 𝑥 𝑃(𝑥, 𝑦)
1.17 Repeat the Problem 1.15 using the following
predicates
a) ∃𝑥 ∃𝑦 𝑃(𝑥, 𝑦)
b) ∃𝑥 ∀𝑦 𝑃(𝑥, 𝑦)
c) ∀x ∃𝑦 𝑃 𝑥, 𝑦 a)𝑃 𝑥, 𝑦 :𝑥 2 + 𝑦 2 >0
d) ∃𝑦 ∀𝑥 𝑃 𝑥, 𝑦
e) ∀𝑦 ∃𝑥 𝑃(𝑥, 𝑦)
TRUE OR
FALSE
1.17 Repeat the Problem 1.15 using the following
predicates
a) ∃𝑥 ∃𝑦 𝑃(𝑥, 𝑦)
b) ∃𝑥 ∀𝑦 𝑃(𝑥, 𝑦)
c) ∀x ∃𝑦 𝑃 𝑥, 𝑦 b) 𝑃 𝑥, 𝑦 :𝑥 2 + 𝑦 2 ≥1
d) ∃𝑦 ∀𝑥 𝑃 𝑥, 𝑦
e) ∀𝑦 ∃𝑥 𝑃(𝑥, 𝑦)
TRUE OR
FALSE
1.17 Repeat the Problem 1.15 using the following
predicates
a) ∃𝑥 ∃𝑦 𝑃(𝑥, 𝑦)
b) ∃𝑥 ∀𝑦 𝑃(𝑥, 𝑦)
c) ∀x ∃𝑦 𝑃 𝑥, 𝑦 c) 𝑃 𝑥, 𝑦 : 𝑥 2 − 𝑦 2 ≥0
d) ∃𝑦 ∀𝑥 𝑃 𝑥, 𝑦
e) ∀𝑦 ∃𝑥 𝑃(𝑥, 𝑦)
TRUE OR
FALSE
1.17 Repeat the Problem 1.15 using the following
predicates
a) ∃𝑥 ∃𝑦 𝑃(𝑥, 𝑦)
b) ∃𝑥 ∀𝑦 𝑃(𝑥, 𝑦)
c) ∀x ∃𝑦 𝑃 𝑥, 𝑦 d) 𝑃 𝑥, 𝑦 :𝑥 2 −𝑦 >0
d) ∃𝑦 ∀𝑥 𝑃 𝑥, 𝑦
e) ∀𝑦 ∃𝑥 𝑃(𝑥, 𝑦)
TRUE OR
FALSE
We observe, at least intuitively, that the negations of ∃ and ∀ are correlated in the following manner
¬∃ 𝑃 𝑥 ≡ ∀𝑦¬𝑃 𝑥
¬∀𝑥𝑃 𝑥 ≡ ∃𝑦¬𝑃(𝑥)
Example Let 𝑃 𝑥 : 𝑥 + 2 = 5