【发布时间】：2018-12-02 21:24:46
【问题描述】：
什么是“猫有尾巴”或“如果 x 是猫，那么 x 有尾巴”的谓词逻辑
下列哪一项是正确的：
- cat(x) -> hastail(x)
- ∀x cat(x) -> hastail(x)
他们都正确吗？
这两个意思一样吗？
如果以上说法有误，请说明原因。
【问题讨论】：
标签： logic predicate quantifiers
【发布时间】：2018-12-02 21:24:46
【问题描述】：
考虑：
hastail(x) -> x 有一个尾巴； cat(x) -> x 是一只猫
现在，我们想说，如果你选择一个随机元素 x，如果他是一只猫，他肯定会有一条尾巴。在这种情况下，所有猫的量词都是 ∀。
谓词将是： ∀x: cat(x) -> hastail(x)
【讨论】：
-
你必须指定量词，我猜你试图说至少有一只猫有尾巴，在这种情况下正确的方法是：“∃x: cat(x) ∧ hastail (x)"
-
这完全取决于你想说什么，如果你的语句指向每只猫使用“∀”，如果它只指向某些猫使用“∃”。无论如何，你必须使用量词，如果你不使用它们，你的声明只对那个特定的 x 有效，所以你最初在 1st 中写的内容是：“对于那个特定的 x 元素，如果它是一只猫，它有一条尾巴”。