“猫有尾巴”的谓词逻辑

Question

“猫有尾巴”或“如果x是猫则x有尾巴”的谓词逻辑是什么

以下哪一项是正确的：

1. cat（x）-> hastail（x）
2. ∀xcat（x）-> hastail（x）

两个都正确吗？

两者都有意义吗？

如果以上任何陈述有误，请说明原因。

Answer 1

考虑：

  

hastail（x）-> x有一条尾巴； cat（x）-> x是猫

现在，我们要说的是，如果您选择一个随机元素x，如果他是猫，那么他肯定会有一条尾巴。在那种情况下，所有猫的量词都是

该谓词将为： ∀x：cat（x）-> hastail（x）