Question: shouldnt the answer to c) be please help me understand the solution (c) Consider the statement: There is somebody whom everybody loves. Take existential quantifier


(c) Consider the statement: There is somebody whom everybody loves. Take existential quantifier first as one love for all lovers. Rewrite the statement using quantifiers as follows: 3xVy, L(x, y). Ul all real numbers x and for all real numbers y there is a real numbe x + y = z;" TABLE 1 Quantifications of Two Variables. Statement When True? When False? VxVyP(x, y) V y VxP(x, y) P(x, y) is true for every pair x, y. There is a pair x, y for which P(x, y) is false. VxSyP(x, y) For every x there is a y for which P(x, y) is true. There is an x such that P(x, y) is false for every y. 3xVyP(x, y) There is an x for which P(x, y) is true for every y. For every x there is a y for which P(x, y) is false. 3x3yP(x, y) ByxP(x, y) There is a pair x, y for which P(x, y) is true. P(x, y) is false for every pair x, y. There is a y There for which L(x,y) is true a person for which Llxy) K locare
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
