Prädikat vs-Funktionen in Erster Ordnung Logik

Ich war so verwirrt in letzter Zeit bezüglich Unterschied zwischen Prädikat und Funktion in Erster Ordnung Logik.

Mein Verständnis bisher ist,

Prädikat ist zu zeigen, ein Vergleich oder zeigt eine Beziehung zwischen zwei Objekten, wie

President(Obama, America)

Funktionen, um anzugeben, was ein bestimmtes Objekt ist, wie,

Human(Obama)

Nun bin ich überschrift auf der rechten Spur zu differenzieren, diese beiden Begriffe, oder bin ich komplett falsch und brauche eine kurze Erklärung, ich hätte gerne die Meinung von Experten zu klären, mein wissen(oder zu genehmigen, die mein Verständnis). Vielen Dank im Voraus

Krio

InformationsquelleAutor TeaCupApp | 2011-06-14
Schreibe einen Kommentar