一次論理では、通常文を表現するのですか？

Question

私は次のような例を望んでいました：

誰もが母親を持っています。

それは次のように表されていることを見ました： $ \ forall x \ esivents y：$ mother（x、y）

私はそれを見ています。Xごとにyが存在するため、yがxの母親です。

私はなぜ以下の適切ではないのか知りたい：

$ \ forall x：$ hasmother（x）

私が感じることができると感じることができる：すべてのxについて、xは母親を持っています。

Answer 1

これは良い質問であり、Motherエンティティで達成したいものに降りてくる。

最初の例では、Mother(x, y)は（バイナリ） 。つまり、yごとにご希望の場合と同じくらい多くのxsを持つことができます。 Motherと関係として、yの母性を満たす2つの xsを持つかどうかを確認する式を作成することもできます。

他の例では、hasMother(x)は 述語 それは true または false にしかありません。母親は何人の母親の世代を持っていますか？言うことは不可能です。 xの母親は誰ですか？私たちは言うことはできません。

x 関数 > mother(x) → yをそのマザーxにマッピングしますが、それからあなたは1つの母親だけを持つことができ、すべてのyは母親を持つ必要があります（モデル内）。

それはすべて（a）に降りてくる「世界」（あなたがモデル化したいものは何でも）、そして（b）あなたが達成したいもの（あなたのモデルから抜けたいものは何でも）。