logic - ∃x.px=>q は ∃x.(px=>q) と等しいか?

Question

私は文章かどうか疑問に思った

∃x.px=>q

に等しい

∃x.(px=>q).

次の例から、それらは等しいと思います。

最初の文のインスタンス:

牛がいれば哺乳類です。

2 番目の文のインスタンス:

牛がいる、牛なら哺乳類。

それらが等しくない場合、私の例の何が問題になっていますか?

Answer 1

いいえ、それらは同等ではありません。falseas の使用を検討してqください。