In the parts below assume that the universe for x is all people and the universe

Question

In the parts below assume that the universe for x is all people and the universe for y is the set of all movies. Consider the following predicates:
S(x,y): x saw y
L(x,y): x like y
A(y): y won an award
C(y): y is a comedy

Write the following statements using these predicates and any needed quantifiers

a. No comedy won an award.

b. Lois saw Casablanca

c. Some people have seen every comedy

d. No one liked every movie he had seen.

e. Ben has never seen a movie that won a award

//////////////////////////////////

Detail and innovative way of solving the problem is appreciated.

Thanks,
Aphareus

Explanation / Answer

         y[C(y) ¬A(y)].

c) Some people have seen every comedy.

       ¬xy[S(x,y) L(x,y)].

e) Ben has never seen a movie that won an award.

        ¬y[A(y) ? S(Ben,y)].

Related Questions

Navigate

• Browse (All)
• Browse I
• Subjects

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