Answer Happy

Part 4. Symbolization in Modern Quantificational Logic. For each of the following sentences, the meanings of the predicate letters have been stated, and there is exactly one correct listed answer for each sentence. Write the number of the correct symbolization in the blank on the right. Do not include the parentheses in your answer. just write the number. (For convenience, all the symbolic sentences here have been stated informally without writing the outer scoping parentheses for the quantifiers as we did in class and in the exercises.) This part is worth 10 points and covers two pages of 5 points each 1. Everything is a goat G=is a goat (1) (vx) Ex & GX (2) (1x) Ex GX (3) (Vx) GX (4) (ax) GX 2. Something is not a goat. G-is a goat (1) (ax) -GX (2) (ax) 5x & -GX (3) (vx) SX-GX (4) (vx) SX & -GX 3. Not everything is not a goat. G = is a goat (1) -(vx) Ex-GX (2) -(vx) Ex &-GX (3) -(ax) -GX (4) -(vx) -GX 4. Some goats are not polite. G=is a goat, P = is polite (1) (3x) -(Gx & Px) (2) (ax) GX & -PX (3) -(ax) GX & Px (4) (vx) Gx & -Px 5. Mickey is a polite goat. G=is a goat, P = is polite, m = Mickey (1) (ax) MX & (Px & Gx) (2) Mx & (Px & G) (3) Pm & Gm (4) (am) Pm & Gm