ok so I think I understand of them, but correct my answers if I am wrong..
- Any pet either loves itself(a) or some person(b).
my answer: ∀ x Pet(x) --> (Love(x,a) V Love(x, b))
- Dogs will eat anything
my answer: ∀ x (Dog(x) --> EatAnything(x))
- Some sleepy student didn't answer any questions.
my answer: ∃ x (SleepyStudent(x) ---> ¬ AnswerQuestion(x))
- No dog except Fido barked
not sure about this one: ∃ x dogFido(x) ---> Barked(x) ???
- Every student who takes CSCI loves it
not sure about this one: ∀ x Student(x) ---> takesCSCI(x, a) ???
I did my best with those questions and I'm hoping I got most of them right, but if I made any errors it would be much appreciated if they were pointed out.