Answer to Question #325070 in Discrete Mathematics for Shayan

Question

Suppose S(x, y) is the predicate “x saw y,” L(x, y) is the predicate “x liked y,” and C(y) is the predicate “y is a comedy.” The universe of discourse of x is the set of people and the universe of discourse for y is the set of movies. Write the following in proper English. Do not use variables in your answers.

(1)   ∀ y ¬S (Margaret, y)

(2)   ∃ y ∀ x L(x, y)

(3)   ∃ x ∀ y [C(y) → S(x, y)]

(4)    Give the negation for part 3 in symbolic form with the negation symbol to the right of all quantifiers.

(5)   state the negation of part 3 in English without using the phrase” it is not the case.”