logic - ∃x.px=>q 是否等于 ∃x.(px=>q)？

Question

我想知道这些句子

∃x.px=>q

等于

∃x.(px=>q)。

由于以下示例，我认为它们是平等的：

第一句话的例子：

如果存在牛，那么它就是哺乳动物。

第二句的实例：

存在一头牛，如果它是牛，那么它就是哺乳动物。

如果它们不相等，我的例子有什么问题？

Answer 1

不，它们不相等。只需考虑使用falseas q。