一次論理では、通常文を表現するのですか?
-
29-09-2020 - |
質問
私は次のような例を望んでいました:
誰もが母親を持っています。
それは次のように表されていることを見ました: $ \ forall x \ esivents y:$ mother(x、y)
私はそれを見ています。Xごとにyが存在するため、yがxの母親です。
私はなぜ以下の適切ではないのか知りたい:
$ \ forall x:$ hasmother(x)
私が感じることができると感じることができる:すべてのxについて、xは母親を持っています。
解決
これは良い質問であり、Mother
エンティティで達成したいものに降りてくる。
最初の例では、Mother(x, y)
は(バイナリ) 。つまり、y
ごとにご希望の場合と同じくらい多くのx
sを持つことができます。 Mother
と関係として、y
の母性を満たす2つの x
sを持つかどうかを確認する式を作成することもできます。
他の例では、hasMother(x)
は 述語 それは true または false にしかありません。母親は何人の母親の世代を持っていますか?言うことは不可能です。 x
の母親は誰ですか?私たちは言うことはできません。
x
関数 > mother(x) → y
をそのマザーx
にマッピングしますが、それからあなたは1つの母親だけを持つことができ、すべてのy
は母親を持つ必要があります(モデル内)。
それはすべて(a)に降りてくる「世界」(あなたがモデル化したいものは何でも)、そして(b)あなたが達成したいもの(あなたのモデルから抜けたいものは何でも)。
所属していません cs.stackexchange