我正在学习一阶逻辑。我正在看这个例子：
有些狗吠 ∃x（狗（X）Λbark（x））
所有狗都有四条腿 ∀x（dog（x） - ＆gt; have_four_legs（x））
我的问题是：第二个例子可能是： ∀x（dog（x）Λhas_four_legs（x））
为什么第一个例子不能是： ∃x（狗（X） - >树皮（x））
答案 0 :(得分：12)
好好问问自己：暗示和结合是否相同？不。你的最后一句话说所有的x都是狗，有四条腿。虽然这确实意味着所有的狗都有四条腿，但这也意味着一切都是狗......
我建议用英语写出每个陈述的含义：
有一些x是狗和树皮 有一些x，如果它是一只狗它吠叫
现在你能看到差异吗？第二个没有特别说狗存在。
答案 1 :(得分：12)
∃x（dog（X） - ＆gt; bark（x））
迟到的回复，但如果有人在这里结束并想知道，从我一直在学习的意思是：
有一只狗吠叫与一些狗吠。
更精确：
存在一些x，如果x是狗，那么它会吠叫。 - ＆GT;是if-then声明。
∃x（狗（X）Λ的树皮（x））意味着有一些狗吠叫，换句话说，有些狗吠。
∀x（dog（x）Λhave_four_legs（x））：一切都是狗，一切都有四条腿。
∀x（dog（x） - ＆gt; have_four_legs（x））适用于所有IF狗，它有4条腿。