FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

Prädikatensymbol, Funktionssymbol, Unterschied?

Prädikatensymbol, Funktionssymbol, Unterschied? 2007-06-02 18:06
Anonymer User
Wie definiere ich den Unterschied zwischen Prädikatensymbol und Funktionssymbol?

Warum ist "liegt nördlich von" ein Prädikatensymbol und "die Einwohnerzahl von" ein Funktionssymbol?

Wo ist der Unterschied?

und wenn ich jetzt wie in unserer Aufgabe "kennt Linux" und "x mag y" habe. Was ist dann was und warum?

RE: Prädikatensymbol, Funktionssymbol, Unterschied? 2007-06-02 18:56
tekai
so aus dem stehgreif (also evt. falsch): der "rückgabewert"

RE: Prädikatensymbol, Funktionssymbol, Unterschied? 2007-06-02 19:26
georg
der "rückgabewert"

(Ganz richtig, tekai [23])

Formal unterscheiden sich die beiden zunächst darin, wo
(in der Formel) sie auftreten können. Ein Prädikatensymbol
(mit Argumenten) kann man dann verwenden, wenn an der Stelle
eine Formel stehen kann, d.h. Prädikatensymbole (mit Argumenten)
werden zu Wahrheitswerten ausgewertet. Funktionssymbole
(mit Argumenten) hingegen dürfen dort stehen, wo ein Term stehen
kann, d.h. sie werden zu Elementen des Universums ausgewertet,
also zu Elementen, über die Aussagen gemacht werden.

Du musst dir also überlegen, ob das, was du ausdrücken willst,
eine Aussage mit Wahrheitswert ist oder ein Objekt ist, über das
du Aussagen machen willst. "Liegt nördlich von" ist ja eine Aussage,
d.h. wahr oder falsch. "Die Einwohnerzahl von" hingegen liefert ja
eine Zahl, über die du dann Aussagen treffen kannst.

Ist der Unterschied klar geworden?

RE: Prädikatensymbol, Funktionssymbol, Unterschied? 2007-06-02 23:45
Anonymer User
ok der Unterschied ist nun klar, danke :)