FGI Übung 7: Aufgabe 7.1
2006-05-19 14:56
Viprex
http://www.informatik.uni-hamburg.de/WSV/teaching/FGI1/universitaet/Blatt7.pdf
Nur aus dem Informatikum.
Wir sollen nun in prädikatenlogische Sätze umformen, mit Identität. Was mich nun an dieser Aufgabe wundert, ist, dass in seinen Folien steht, das Identität in der Prädikatenlogik in FGI3 drankommt (Folie9-18).
Ja was denn nun? Und wie denn genau? Das eine Beispiel, welches dort steht, hilft ja nicht viel: p=hs(fr) heißt soviel, wie Paris ist die Hauptstadt von Frankreich. Aber wie kombiniert man das mit mehreren Termen?
Nur aus dem Informatikum.
Wir sollen nun in prädikatenlogische Sätze umformen, mit Identität. Was mich nun an dieser Aufgabe wundert, ist, dass in seinen Folien steht, das Identität in der Prädikatenlogik in FGI3 drankommt (Folie9-18).
Ja was denn nun? Und wie denn genau? Das eine Beispiel, welches dort steht, hilft ja nicht viel: p=hs(fr) heißt soviel, wie Paris ist die Hauptstadt von Frankreich. Aber wie kombiniert man das mit mehreren Termen?