【发布时间】：2016-07-21 17:33:47
【问题描述】：
我想知道句子是否
∃x.px=>q
等于
∃x.(px=>q).
由于以下示例，我认为它们是相等的：
第一句话的实例：
如果存在牛，那么它就是哺乳动物。
第二句实例：
存在一头牛，如果它是牛，那么它就是哺乳动物。
如果它们不相等，我的例子有什么问题？
【问题讨论】：
-
这是一道编程题吗？它看起来更像数学。
-
你可能想在 math.stackexchange.com 上发布这个
-
符号有点陌生——与我在学校学到的不同。但是，如果您的示例句子忠实于逻辑句子，那么它们显然是不等价的，因为第二个包含“存在牛”的明确陈述，而第一个则留下了牛存在或未定义的可能性，并且只声明任何确实存在的牛也恰好是哺乳动物......
标签： logic quantifiers first-order-logic