Question

Show how a contradiction arises from the following taken as an assumption (∃y)(x)(x∈y≡∼(x∈x))

Show how a contradiction arises from the following taken as an assumption

(∃y)(x)(x∈y≡∼(x∈x))

Homework Answers

Answer #1

The assumption tells us that

The statement that there exists such that forall , belongs to is equivalent to the statement is not contained in .

The contradiction arises because the statement " is not contained in " is not true even if the statement "there exists such that forall " is true.

Consider the set of rationals .

Obviously there exists the set of reals such that i.e. is contained in but is also contained in i.e. also holds.

Hence the assumption is wrong.

Know the answer?
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for?
Ask your own homework help question
Similar Questions
Show that if x ∈ P, then x^(-1) ∈ P. Hint: show that a contradiction will...
Show that if x ∈ P, then x^(-1) ∈ P. Hint: show that a contradiction will follow if one assumes that x ∈ P and x ∉ P.
Consider the following actions taken by transaction T1 on database objects X and Y: R(X), W(X),...
Consider the following actions taken by transaction T1 on database objects X and Y: R(X), W(X), R(Y), W(Y) Explain how the use of Strict 2PL would prevent interference between the two transactions.
f(x,y) = (x^4-y^2) / (x^4 + y^2). show the following limit does not exist, and explain...
f(x,y) = (x^4-y^2) / (x^4 + y^2). show the following limit does not exist, and explain why lim (x,y)->(0,0) f(x,y)
1. Show that the u1(x,y)=x and u2(x,y)=x^2-y^2 are solutions to Laplace Equation. Then, how can you...
1. Show that the u1(x,y)=x and u2(x,y)=x^2-y^2 are solutions to Laplace Equation. Then, how can you combine them to create new solutions.
Show that if p converges to the point x and y is a point different from...
Show that if p converges to the point x and y is a point different from x, then p does not converge to y.
Suppose you have two numbers x, y ∈ Q (that is, x and y are rational...
Suppose you have two numbers x, y ∈ Q (that is, x and y are rational numbers). a) Use the formal definition of a rational number to express each of x and y as the ratio of two integers. Remember, x and y could be different numbers! (b) Use your results from (a) to show that xy must also be a rational number. Carefully justify your answer, showing how it satisfies the formal definition of a rational number. (2) Suppose...
Prove the following statements by contradiction a) If x∈Z is divisible by both even and odd...
Prove the following statements by contradiction a) If x∈Z is divisible by both even and odd integer, then x is even. b) If A and B are disjoint sets, then A∪B = AΔB. c) Let R be a relation on a set A. If R = R−1, then R is symmetric.
Suppose a random variable, x, arises from a binomial experiment. If n = 14, and p...
Suppose a random variable, x, arises from a binomial experiment. If n = 14, and p = 0.13, find the P(X = 3) using Excel. Round answer to 4 decimal places.
Let C = { x#y | x, y ∈ {0,1}∗ and x ̸= y}. Show that...
Let C = { x#y | x, y ∈ {0,1}∗ and x ̸= y}. Show that C is a context-free language.
(1) Let x be a rational number and y be an irrational. Prove that 2(y-x) is...
(1) Let x be a rational number and y be an irrational. Prove that 2(y-x) is irrational a) Briefly explain which proof method may be most appropriate to prove this statement. For example either contradiction, contraposition or direct proof b) State how to start the proof and then complete the proof
ADVERTISEMENT
Need Online Homework Help?

Get Answers For Free
Most questions answered within 1 hours.

Ask a Question
ADVERTISEMENT