logic - “猫有尾巴”的谓词逻辑

Question

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

以下哪一项是正确的：

1. 猫（x）-> hastail（x）
2. ∀x cat(x) -> hastail(x)

他们都正确吗？

两者都有意义吗？

如果上述任何陈述有误，请解释原因。

标签： logicpredicatequantifiers

Answer 1

考虑：

hastail(x) -> x 有一个尾巴；cat(x) -> x 是一只猫

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

谓词将是：∀x: cat(x) -> hastail(x)