e) Explain, in intuitive terms, why "(3! x ES) (p(x))" means the same thing as "(3x ES) [p(x) and ([V u ES] [p(u) ⇒ u = x])]".

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter3: Functions And Graphs
Section3.2: Graphs Of Equations
Problem 23E
Question

question e)

DEFINITION 3.14: For any sets A and B, a function from A to B is a set
SCA X B which satisfies the following conditions:
a) (Vue A) (3 ve B) ((u, v) ES), and
b) (VuEA) (V v, we B) ([(u, v) ES and (u, w) ES] ⇒ v = w).
The set A is called the domain of the function, and the set B is called the co-
domain of the function.
Transcribed Image Text:DEFINITION 3.14: For any sets A and B, a function from A to B is a set SCA X B which satisfies the following conditions: a) (Vue A) (3 ve B) ((u, v) ES), and b) (VuEA) (V v, we B) ([(u, v) ES and (u, w) ES] ⇒ v = w). The set A is called the domain of the function, and the set B is called the co- domain of the function.
b) Rewrite Definition 3.14 using the unique existential quantifier.
c) Suppose f: A → B. Rephrase the quantifier statement
"(VvE B) (3! u EA) (f(u) = v)"
using terminology for functions introduced in this section.
d) Express "~(3! x
S) (p(x))" without using negation except directly next to the
predicate p(x) (careful! this is not easy).
e) Explain, in intuitive terms, why "(3! x ES) (p(x))" means the same thing as
"(3 x S) [p(x) and ([V u ES] [p(u) ⇒ u = x])]".
Transcribed Image Text:b) Rewrite Definition 3.14 using the unique existential quantifier. c) Suppose f: A → B. Rephrase the quantifier statement "(VvE B) (3! u EA) (f(u) = v)" using terminology for functions introduced in this section. d) Express "~(3! x S) (p(x))" without using negation except directly next to the predicate p(x) (careful! this is not easy). e) Explain, in intuitive terms, why "(3! x ES) (p(x))" means the same thing as "(3 x S) [p(x) and ([V u ES] [p(u) ⇒ u = x])]".
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Similar questions
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,
Algebra: Structure And Method, Book 1
Algebra: Structure And Method, Book 1
Algebra
ISBN:
9780395977224
Author:
Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:
McDougal Littell
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,