I am trying to learn QL on my own and I wish I could get some help translating the two sentences below.
I have given two sets of answers: Ans A is the textbook one and Ans B is my own attempt. Please tell me whether Ans B is acceptable, and if it's not, what mistake I've made. Thanks!
universe of discourse: candies
$Cx:$ $x$ has chocolate in it.
$Bxy:$ $x$ is better than $y.$
- The very best candy is chocolate.
- Any candy with chocolate is better than any candy without it.
- $∀x[Cx → ∀y(¬Cy→Bxy)]$
- $∀x[Cx → ¬∃y(¬Cy\&Byx)]$