私は現在、一階述語論理を学んでいます。私はこの例を見ています：
一部の犬の吠え声∃x（犬（X）Λ吠え声（x））
すべての犬には4本の足があります∀x（dog（x）-> have_four_legs（x））
私の質問は次のとおりです。2番目の例が次のようになる可能性はありますか：∀x（dog（x）Λhave_four_legs（x））
そして、なぜ最初の例は次のようにできないのですか：∃x（dog（X）-> bark（x））
8951 次
2 に答える
14
これを自問してみてください：含意と接続詞は同等ですか？いいえ。最後のステートメントでは、すべてのxは犬であり、4本の足があります。それはすべての犬が4本の足を持っていることを意味しますが、それはまたすべてが犬であることを意味します...
各ステートメントの意味を英語で書き出すことをお勧めします。
犬と吠えるxがいくつかあります犬の場合は吠えるxがあります
今、あなたは違いを見ることができますか？2つ目は、犬が存在することを具体的に示していません。
于 2011-02-20T21:44:12.263 に答える
13
∃x（犬（X）->樹皮（x））
返信が遅れましたが、誰かがここで終わり、知りたい場合は、私が学んできたことから、それは次のことを意味します。
吠える犬と吠える犬がいます。
より正確な：
いくつかのxが存在し、xが犬の場合、吠えます。->はif-thenステートメントです。
∃x（dog（X）Λbark（x））は、いくつかの犬が存在し、それが吠える、つまり、いくつかの犬が吠えることを意味します。
∀x（dog（x）Λhave_four_legs（x））：すべてが犬であり、すべてに4本の脚があります。
∀x（dog（x）-> have_four_legs（x））すべての場合犬の場合は4本の脚があります。
于 2012-10-24T05:15:42.337 に答える