(d) Prove or disprove that, for any universal set U and predicate P VxU, P(x)][3x € U, P(x)]

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter2: The Integers
Section2.1: Postulates For The Integers (optional)
Problem 18E: In Exercises , prove the statements concerning the relation on the set of all integers. 18. If ...
icon
Related questions
Question

Please help me with this question. I am having trouble understanding what to do. Please complete the question in the same structure displayed in the other image

Please show all your work

Thank you

(b)
nd Q
UP()) (x = U, Q(x))] = U.P(z) AQ(@)]
Prove or disprove that, for any
(d)
Prove or disprove that, for any universal set U and predicate P
VxU, P(x)] [3x € U, P(x)]
Transcribed Image Text:(b) nd Q UP()) (x = U, Q(x))] = U.P(z) AQ(@)] Prove or disprove that, for any (d) Prove or disprove that, for any universal set U and predicate P VxU, P(x)] [3x € U, P(x)]
(6)
[(JXEU, P(X) ^ (FXEU, Q(x))] → [FREU, PEDAQ(x)]
Λ
This
statement
is
false
Let
U= {1, 12}
'
P(x) x < 4
and
Q(x):×79
true
So
3x EU, P(x)
[As P(i): 4,50
i U
I is
such
x]
and
Jx EU, Q(x)
is
also
true [12 is
Such
x m U]
But
#XEU, P(x) A Q(x)
statement
false
So
the
given
(© [3xEU, P(x)] = [+x=U, P(x)]
(c)
This
statement
false
Let
U = {1123
P(x) :
×<5
So
that
P(1):
145
is
true
So
ξχευ, (α)
Now
P(12): 1245
is false
So
* XEU, P(x)
is false
statement
is
So
the
given
false.
Transcribed Image Text:(6) [(JXEU, P(X) ^ (FXEU, Q(x))] → [FREU, PEDAQ(x)] Λ This statement is false Let U= {1, 12} ' P(x) x < 4 and Q(x):×79 true So 3x EU, P(x) [As P(i): 4,50 i U I is such x] and Jx EU, Q(x) is also true [12 is Such x m U] But #XEU, P(x) A Q(x) statement false So the given (© [3xEU, P(x)] = [+x=U, P(x)] (c) This statement false Let U = {1123 P(x) : ×<5 So that P(1): 145 is true So ξχευ, (α) Now P(12): 1245 is false So * XEU, P(x) is false statement is So the given false.
Expert Solution
steps

Step by step

Solved in 3 steps with 19 images

Blurred answer
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
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