最近我對一階邏輯中的謂語與函數之間的區別感到困惑。謂詞與一階邏輯中的函數
我的理解是截至目前爲止，
謂詞是顯示比較或顯示諸如兩個對象之間的關係，
President(Obama, America)
函數是指定一個特定的對象是什麼，例如，
Human(Obama)
現在我在正確的軌道上區分這兩個術語，或者我完全錯了，需要一個簡單的解釋，我想有意見fr expert專家澄清我的知識（或批准我的理解）。在此先感謝
Krio
謂詞是一個函數，返回true或false。
功能符號， 其映射個人 個人 - 父親的（瑪麗）=約翰 - 顏色的（天）=藍色 • 謂詞符號， 其中真值 地圖個人 - 更大（5,3） - 綠色（草） - 顏色（草綠色）
謂詞是確認爲特定的屬性的對象或OB之間的關係jects。這就是說這個物體存在財產。如果給美國總統一個公式P，那麼
P（Obama，America）= true。
它會告訴你，你是對的，奧巴馬是美國總統，物業的真實，奧巴馬是美國總統的這種關係是真實的，但
P（普京，美國）= FALSE。
告訴普京是美國總統是假的，因此告訴你，一個或多個對象持有或不持有特定的財產或關係。 至於函數返回與美國總統，安的母親等對象的特定屬性相關聯的值。您給他們一個值，他們將返回一個值。像P這樣的函數返回作爲參數傳遞的國家的總統
P（美國）=奧巴馬。
P（俄羅斯）=普京。
從我明白
函數返回一個值，該值是在域中，映射n個元素的域的單一構件。
根據您在系統中遵循的公理和推理規則，謂詞可確認您試圖創建的關係是否爲真。
函數是關係，其中只有一個值對於給定的輸入。
源：AIMA（人工智能一種現代方法書）
更多的描述在圖像中： 
注意，謂詞可能不是可計算，例如，停機問題。 – 2011-06-15 11:12:45
或者我們可以這樣說：一個函數是一個**返回對象**的謂詞。 （來源：AIMA） – KouchakYazdi 2016-12-12 09:40:09