转换为一阶逻辑

Question

我把一小段转换成一阶逻辑。有人可以检查它是否正确。信息如下。

"Anyone who has catarrh will sneeze. if anyone allergic to animal danger 
or dust mite then they will have catarrh. Maya is  allergic to animal danger."

这是我做的。

1. ∃x p(x) ∧ c(x) ∧ s(x).
2. ∃x p(x) ∧ a(x) V d(x) --> c(x)
3. a(maya).

请帮我解决这个问题。

Answer 1

你对 1 和 2 的回答看起来不正确。您对数字 3 的回答看起来很合理。

英文的前两个陈述并不要求任何这样的人存在;他们并不是说只有一个这样的人存在。你应该翻译成更像这样的东西：

1. forall x . p(x) and c(x) implies s(x)
2. forall x . p(x) and (a(x) or d(x)) implies c(x)
3. a(maya)