Could someone please help me with these predicate logic statements:
domain: all students in your class
C(x): "x has a cat"
D(x): "x has a dog"
F(x): "x has a ferret"
Some student in your class has a cat and a ferret, but not a dog.
No student in your class has a cat, a dog, and a ferret.
For each of the three animals, cats, dogs, and ferrets, there is a student in your class who has one of these animals as pets.
A little unsure about this one.
The next question:
P(x): "x is a duck"
Q(x): "x is one of my poultry"
R(x): "x is an officer"
S(x): "x is willing to waltz"
No ducks are willing to waltz.
No officers ever decline to waltz.
All my poultry are ducks.
My poultry are not officers.