Vorheriges Thema anzeigen :: Nächstes Thema anzeigen |
Autor |
Nachricht |
InfoStudent Gast
|
Verfasst am: 12. Dez 2005 19:59 Titel: Unterschied Formeln, Prädikate, Terme ? |
|
|
Hallo,
Ich habe da ein Problem, bei dem mir weder Wikipedia noch die hervorangen Folien meines Professors (*ironie*) helfen können und zwar verstehe ich nicht den unterschied zwischen:
Prädikaten
Funktionen
Bei Termen bin ich mir nicht ganz sicher ...
[Nur als Anmerkung, momentanes Oberthema ist zur Zeit: FOPL, Prädikatenlogik erster Stufe]
Ich habe ja sonst keine Problem mit Informatik, aber die Foline unseres Profs sund einfach |
|
Nach oben |
|
|
|
Tobias
Anmeldungsdatum: 15.02.2005 Beiträge: 149
|
Verfasst am: 13. Dez 2005 02:46 Titel: |
|
|
Ein Prädikat ist in erster Linie eine Menge (Relation). Ein Prädikatenterm ist zusammengesetzt aus einer beliebigen Anzahl von freien und (durch z.B. Quantoren) gebundenen Variablen. Die freien Variablen lassen sich belegen. Erst wenn in einem Prädikat alle freien Variablen belegt sind kann man es "auswerten" zu einem Wahrheitswert. Man kann jedes Prädikat P durch eine Abbildung darstellen so dass gilt:
Deshalb benutzt man auch häufig den Ausdruck synonym für um anzuzeigen, dass die freien Variablen von P belegt werden durch x1, ..., xn. |
|
Nach oben |
|
|
Gast
|
Verfasst am: 13. Dez 2005 17:55 Titel: |
|
|
Tausend Dank für die Erklärung
|
|
Nach oben |
|
|
|
|
Du kannst keine Beiträge in dieses Forum schreiben. Du kannst auf Beiträge in diesem Forum nicht antworten. Du kannst deine Beiträge in diesem Forum nicht bearbeiten. Du kannst deine Beiträge in diesem Forum nicht löschen. Du kannst an Umfragen in diesem Forum nicht mitmachen. Du kannst Dateien in diesem Forum nicht posten Du kannst Dateien in diesem Forum nicht herunterladen
|
|