∃x.px=＆gt; q是否等于∃x。（px =＆gt; q）？

Question

我想知道句子是否

  

∃x.px=＆gt; q

等于

  

∃x（PX =＆GT; Q）。。

我认为他们是平等的，因为以下例子：

第一句的实例：

  

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

第二句的实例：

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

如果他们不平等，我的例子出了什么问题？

Answer 1

不，它们不相同。只需考虑将false用作q即可。