is "3!", the existential quantifier foll DEFINITION: For an open sentence p(x) and a set S, "(! x S) (p(x))" (read "there is a nique x in S such that p(x)") means: (3x ES) (p(x)) and (Vu, vES) ([p(u) and p(v)] ⇒ u = v). a) Explain, in intuitive terms, how "(3! x S) (p(x))" says that there is exactly one ele- ment from S in the truth set of p(x).

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter2: Equations And Inequalities
Section2.6: Inequalities
Problem 80E
icon
Related questions
Question

Question a

c) Are there surje
There is a third quantifier, called the "unique existence" quantifier, which is used to abbrevi-
ate statements like the definition of "function" (Definition 3.14). The symbol for this quantifier
is "3!", the existential quantifier followed by an exclamation point. It is defined as follows:
DEFINITION: For an open sentence p(x) and a set S, "! x S) (p(x))" (read "there is a
mique x in S such that p(x)") means:
(3x S) (p(x)) and (Vu, vES) ([p(u) and p(v)] ⇒ u = v).
a) Explain, in intuitive terms, how "(3! x
ment from S in the truth set of p(x).
S) (p(x))" says that there is exactly one ele-
Transcribed Image Text:c) Are there surje There is a third quantifier, called the "unique existence" quantifier, which is used to abbrevi- ate statements like the definition of "function" (Definition 3.14). The symbol for this quantifier is "3!", the existential quantifier followed by an exclamation point. It is defined as follows: DEFINITION: For an open sentence p(x) and a set S, "! x S) (p(x))" (read "there is a mique x in S such that p(x)") means: (3x S) (p(x)) and (Vu, vES) ([p(u) and p(v)] ⇒ u = v). a) Explain, in intuitive terms, how "(3! x ment from S in the truth set of p(x). S) (p(x))" says that there is exactly one ele-
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Recommended textbooks for you
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
College Algebra
College Algebra
Algebra
ISBN:
9781305115545
Author:
James Stewart, Lothar Redlin, Saleem Watson
Publisher:
Cengage Learning
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,