转换为一阶逻辑

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)