nin*_*eer 17 logic first-order-logic
我现在正在学习一阶逻辑.我正在看这个例子:
一些狗吠∃x(狗(X)Λ树皮(x))
所有的狗都有四条腿∀x(狗(x) - > have_four_legs(x))
我的问题是:第二个例子是否可能是:∀x(dog(x)Λhas_four_legs(x))
为什么第一个例子不能是:∃x(dog(X) - > bark(x))
Tim*_*NET 13
那么问问自己:暗示和结合是否相同？不.你的最后一句话说所有的x都是狗,有四条腿.虽然这确实意味着所有的狗都有四条腿,这也意味着一切都是狗......
我建议用英语写出每个陈述的含义:
有一些x是狗和树皮有一些x,如果它是一只狗它吠叫
现在你能看出差异吗？第二个没有具体说狗存在.
小智 13
∃x(狗(X) - >树皮(x))
迟到的回复,但如果有人在这里结束并想知道,从我一直在学习的意思是:
有一只狗吠叫与一些狗吠.
更确切:
存在一些x,如果x是狗,那么它会吠叫. - >是if-then语句.
∃x(狗(X)Λbark(x))意味着存在一些狗并且它吠叫,换句话说,一些狗吠.
∀x(dog(x)Λhave_four_legs(x)):一切都是狗,一切都有4条腿.
∀x(dog(x) - > have_four_legs(x))适用于所有IF狗,它有4条腿.