Let P be a predicate. Determine whether or not each of the following implications is true and give a brief English explanation for your answer. 1) Vx=yP (x, y) + 3yVxP (x, y) 2) ByVxP (x, y) + VxJyP (x, y)

Question

Mariela Macias

Mathematics

11 June, 01:22

Let P be a predicate. Determine whether or not each of the following implications is true and give a brief English explanation for your answer. 1) Vx=yP (x, y) + 3yVxP (x, y) 2) ByVxP (x, y) + VxJyP (x, y)

+1

Answers (1)

Know the Answer?

Christine Yu · Answer 1

See answer below

Step-by-step explanation:

1), Probably, your implication is ∀x∃yP (x, y) ⇒∃x∀yP (x, y).

This implication is false. Consider the predicate P (x, y) : ="x
A short explanation would be, even if for all elements you can find one that makes a predicate true, you can not find one element that makes the predicate true for all elements.

2) Again, I assume that the predicate is ∃x∀yP (x, y) ⇒∀x∃yP (x, y)

This implication is false. Consider the predicate P (x, y) : ="x is integer and xy=0 " for real numbers x, y. Then ∃x∀yP (x, y) is true, we need to take x=0. However, ∀x∃yP (x, y) is false, if you take x=1/2, 1/2 will never be an integer, no matter the value of y.

A short explanation would be, even if you can find one element that makes a predicate true for all elements, you can not always take an arbitrary element and find some element that makes the predicate true.