M represent the set of all Mathematics courses and
S represent the set of all students.
E(s, m) : "student s is enrolled in math course m" C(s): "student s owns a cat"
I want to transform the two sentences below using quantified predicates.
There is at least one math student who owns a cat.(A math student is a student who is registered in at least one math class)
There is at least one student in every math class who owns a cat.
I got this:
∃s∈M, E(s, m)-> C(s)
Is this correct?
∃s∈M, ∀m∈M, C(s) ?
∀s∈S, ∀m∈M, [E(s,m) -> ¬C(s)]
does this translate to:
"All student cat owners are not registered in any math courses"