translate from english to predicate logic

[jadsy]

The domain Um is the set of movies e.g. Fast and Furious, Lords of the Ring, Matrix, etc.
The domain Uc is the set of actors Vin Diesel, Keanu Reeves, etc.
The predicate A(x, m) that denotes that actor x has acted in movie m.
The predicate W(x, m) that denotes that person x watched movie m.

Some people have watched all Vin Diesels movies.


are we able to define m as a set of all the movies in which Vin Diesel acted, because if not I cant seem to understand how to translate it.
Thanks for the help

 

[Deleted member 4993]

The domain Um is the set of movies e.g. Fast and Furious, Lords of the Ring, Matrix, etc.
The domain Uc is the set of actors Vin Diesel, Keanu Reeves, etc.
The predicate A(x, m) that denotes that actor x has acted in movie m.
The predicate W(x, m) that denotes that person x watched movie m.

Some people have watched all Vin Diesels movies.


are we able to define m as a set of all the movies in which Vin Diesel acted, because if not I cant seem to understand how to translate it.
Thanks for the help

Please show us what you have tried and exactly where you are stuck.

Please follow the rules of posting in this forum, as enunciated at:

READ BEFORE POSTING

Please share your work/thoughts about this problem.

 

[Dr.Peterson]

The domain Um is the set of movies e.g. Fast and Furious, Lords of the Ring, Matrix, etc.
The domain Uc is the set of actors Vin Diesel, Keanu Reeves, etc.
The predicate A(x, m) that denotes that actor x has acted in movie m.
The predicate W(x, m) that denotes that person x watched movie m.

Some people have watched all Vin Diesels movies.

are we able to define m as a set of all the movies in which Vin Diesel acted, because if not I cant seem to understand how to translate it.
Thanks for the help

Have you learned about the universal and existential quantifiers, "for all" and "there exists"? That's what you need to use: "There exists a person x such that ..."

In the problem, "m" is a variable, not a set.