转换为一阶逻辑

【问题标题】：Converting to First order logic转换为一阶逻辑
【发布时间】：2019-02-23 21:21:52
【问题描述】：

我已将一小段转换为一阶逻辑。有人可以检查它是否正确。资料如下。

"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).

请帮我解决这个问题。

【问题讨论】：

如何开始。因为任何人都表示一个人。

标签： logic

【解决方案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)

【讨论】：