Question

In: Computer Science

Suppose P (x, y) means “ x and y are real numbers such that x +...

Suppose P (x, y) means “ x and y are real numbers such that x + 2y = 5 .” Determine whether the statement is true for ∀x∃yP(x,y) and ∃x∀yP(x,y)

Solutions

Expert Solution

Suppose P (x, y) means “ x and y are real numbers such that x + 2y = 5 .”
Determine whether the statement is true for ∀x∃yP(x,y) and ∃x∀yP(x,y)

∀x∃yP(x,y) - false
Above statement implies that all values of x, there exists some value y, such that x + 2y = 5
But actually it is not possible to find a value for some specific values of y.
i.e. there exists some value x, for all values of y for which x + 2y != 5

using example :
for, x = 0 there is no y s.t. x + 2y = 5
for, x = 2 there is no y s.t. x + 2y = 5
for, x = 4 there is no y s.t. x + 2y = 5
for, x = 6 there is no y s.t. x + 2y = 5
for, x = 8 there is no y s.t. x + 2y = 5
...
for x = 100 there is no y s.t. 2y = 5
and so on

so for all the even values of x there is no y s.t. x + 2y = 5
So∀x∃yP(x,y) - false for even values of x where x and y belongs to real number.

∃x∀yP(x,y) - true

Above statement implies that for there exists some x, for all values of y, such that x + 2y = 5

using example :
for, y = 0, x = 5
for, y = 1, x = 3
for, y = 2, x = 1
for, y = 3, x = -1
for, y = 4, x = -3
...

for x = 10, y = -15
and so on


So, ∃x∀yP(x,y) - true where x and y belongs to real number.


Related Solutions

What two positive real numbers x and y, with xy=12, minimize 3x+y?
What two positive real numbers x and y, with xy=12, minimize 3x+y?
Show that the set of complex numbers ℂ= {x+iy|x and y are real, i2=-1} is a...
Show that the set of complex numbers ℂ= {x+iy|x and y are real, i2=-1} is a vector space. Verify each of the 10 axioms.
y''(t)+(x+y)^2*y(t)=sin(x*t+y*t)-sin(x*t-y*t), y(0)=0, y'(0)=0, x and y are real numbers
y''(t)+(x+y)^2*y(t)=sin(x*t+y*t)-sin(x*t-y*t), y(0)=0, y'(0)=0, x and y are real numbers
Suppose A is an mxn matrix of real numbers and x in an nx1 column vector....
Suppose A is an mxn matrix of real numbers and x in an nx1 column vector. a.) suppose Ax=0. Show that ATAx=0. b.)Suppose ATAx=0. show Ax=0. c.) by part a and b, we can conclude that Nul(A) = Nul(ATA), and thus dim(Nul A) = dim(Nul(ATA)), and thus nullity(A) = nullity(ATA). prove the columns of A are linearly independent iff ATA is invertible.
Let X and Y be random variables. Suppose P(X = 0, Y = 0) = .1,...
Let X and Y be random variables. Suppose P(X = 0, Y = 0) = .1, P(X = 1, Y = 0) = .3, P(X = 2, Y = 0) = .2 P(X = 0, Y = 1) = .2, P(X = 1, Y = 1) = .2, P(X = 2, Y = 1) = 0. a. Determine E(X) and E(Y ). b. Find Cov(X, Y ) c. Find Cov(2X + 3Y, Y ).
Suppose that the array X consists of real numbers X[1], X[2], …, X[N]. Write a pseudocode...
Suppose that the array X consists of real numbers X[1], X[2], …, X[N]. Write a pseudocode program to compute the minimum of these numbers.
The product of two positive real numbers x and y is 10. Find the minimum value...
The product of two positive real numbers x and y is 10. Find the minimum value of the expression 2x+y
Suppose the function  g(x) has a domain of all real numbers except x = −2 . The...
Suppose the function  g(x) has a domain of all real numbers except x = −2 . The second derivative of g(x) is shown below. g ''(x) = (x−1)(x + 3) (x + 2)3 (a) Give the intervals where   g(x) is concave down. (Enter your answer using interval notation. If an answer does not exist, enter DNE.) (b) Give the intervals where   g(x) is concave up. (Enter your answer using interval notation. If an answer does not exist, enter DNE.) (c) Find...
Suppose f(x,y)=(1/8)(6-x-y) for 0<x<2 and 2<y<4. a. Find p(Y<3|X=1) b. Find p(Y<3|0.5<X<1)
Suppose f(x,y)=(1/8)(6-x-y) for 0<x<2 and 2<y<4. a. Find p(Y<3|X=1) b. Find p(Y<3|0.5<X<1)
Suppose X and Y are two independent random variables with X~N(1,4) and Y~N(4,6). a. P(X <...
Suppose X and Y are two independent random variables with X~N(1,4) and Y~N(4,6). a. P(X < -1.5). b. P(0.5Y+1 > 5). c. P(-2 < X + Y < 5). d. P(X – Y ≥ 3).
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT