述語vs関数は、一次ロジックで機能します
-
27-10-2019 - |
質問
私は最近、一次論理における述語と機能の違いについて非常に混乱しています。
これまでの私の理解は、
述語は、比較を示すか、次の2つのオブジェクト間の関係を示すことです。
President(Obama, America)
関数は、特定のオブジェクトが何であるかを指定することです。
Human(Obama)
今、私はこれらの2つの用語を区別するために正しい軌道に乗っていますか、それとも私は完全に間違っていて、簡単な説明が必要です。私は自分の知識を明確にするために専門家から意見を持ちたい(または私の理解を承認したいと思います)。前もって感謝します
クリオ
解決
述語は、真またはfalseを返す関数です。
他のヒント
個人にマッピングされる関数シンボル - 父(メアリー)=ジョン - カラー(空)=青•個人を真実の価値にマッピングする述語シンボル - より大きい(5,3) - 緑(草) - 色(草の緑)
述語は、特定のプロパティの確認であり、オブジェクト間のオブジェクトまたは関係です。それは、そのオブジェクトのためにプロパティが存在することを示しています。アメリカ大統領にフォーミュラPが与えられた場合は、
P(オバマ、アメリカ)= TRUE。
それはあなたが正しいことであり、オバマ大統領であるという財産は真実であり、オバマ大統領であることの関係は真実であるが、
P(プーチン、アメリカ)= false。
プーチン大統領であることは、オブジェクトまたはオブジェクトが特定の財産または関係を保持または保持していないことを告げる虚偽であると伝えます。関数については、アメリカの大統領、アンの母親などのオブジェクトの特定のプロパティに関連付けられた値を返します。あなたはそれらに価値を与え、それらは価値を返します。
P(アメリカ)=オバマ。
P(ロシア)=プーチン。
私が理解していることから
関数は、ドメインにある値を返し、n要素をドメインの単一のメンバーにマッピングします。
述語は、あなたがしようとしている関係があなたのシステムで従っている公理と推論のルールに従って真実であるかどうかを確認します。