∃x.px=> qは∃x（px => q）と等しいか？

Iは、IF文∃x.px=> qは∃x（px => q）と等しいか？

∃x.px=> Q

∃x。（PX => Q）に等しい

を疑問。

私は、彼らがために、次の例で同じであると思う：

最初の文の例：

牛が存在する場合、それは哺乳動物です。

第二文の例：それは牛である場合

牛が存在し、それは哺乳動物です。

等しくない場合は、私の例で何が問題になりますか？

出典

2016-07-21 badbye

これはプログラミングに関する質問ですか？それは数学のように見えます。 – yellowantphil

あなたはこれをmath.stackexchange.comに投稿したいかもしれません – manan

私が学校で学んだこととは違って、表記は少し馴染みがありません。しかし、あなたの例文が論理文に忠実であれば、それは明らかに同等ではありません。なぜなら、第2の文は、「牛が存在する」という明確な声明を含んでいるからです。最初は牛が存在するかどうか、存在している牛も哺乳動物であるということだけが述べられています... – twalberg

いいえ、これらは同等ではありません。 falseをqとして使用することを検討してください。

出典

2016-07-22 06:53:27

∃x.px=> qは∃x（px => q）と等しいか？

答えて

関連する問題