The domain of x is the set of all people, and the domain of y is the set of all

Question

The domain of x is the set of all people, and the domain of y is the set of all movies. Using quantifiers and the predicates below, translate the sentences below into logic notation. S(x, y): x saw y A(y): y won an award L(x, y): x liked y C(y): y is a comedy M(y): y is a mystery Some award winning mystery is also a comedy. Some people have seen no comedies. Lois saw Casablanca and did not like it. Jane likes only award winning movies. Joe likes only movies that are not mysteries. No one liked every award-winning comedy. Using the predicates in question 2, translate each of the following into good English. forally ((C(y) Lambda A(y)) rightarrow exist x (S(x, y))) for all y ((C(y) Lambda not A(y)) rightarrow exist x (L(x, y)))

Explanation / Answer

S(x, y) : x saw y; L(x, y) : x liked y; A(y) : y won an award; C(y) : y is a comedy M(y): y is a Mystery

3.

a.?y((C(y) ? A(y)) --> ?x(S(x,y))

All award winning comedy movies are seen by alteast one person.

b.?y((C(y) ?

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.