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

Question

我想知道句子是否

∃x.px=>q

等于

∃x.(px=>q(。

我认为它们是相等的，因为以下示例：

第一句的实例：

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

第二句的例子：

有一头牛，

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

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

Answer 1

不，它们不等同。只需考虑使用false作为q。