logic - 何时使用连词，何时使用蕴涵？ (一阶逻辑)

Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。












想改善这个问题吗？更新问题，以使为on-topic。

6年前关闭。



Improve this question





我现在正在学习一阶逻辑。我在看这个例子：

一些狗吠
∃x（狗（X）Λ树皮（x））

所有的狗都有四只脚
∀x（狗（x）-> have_four_legs（x））

我的问题是：第二个例子是否可能是：
∀x（狗（x）Λhave_four_legs（x））

为什么第一个示例不能是：
∃x（狗（X）->树皮（x））

最佳答案

那么问问自己：蕴涵和连词是否相等？不。您的最后一条陈述说所有x都是狗，并且有四只脚。那的确意味着所有的狗都有四只脚，但这也意味着一切都是狗。

我建议用英语写出每个陈述的含义：

有一些x是狗和树皮
有x如果它是狗则吠叫

现在您可以看到差异了吗？第二个人没有特别说狗存在。

关于logic - 何时使用连词，何时使用蕴涵？ (一阶逻辑)，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/5060247/