Nächste Seite: Aufgabe 48 Vorige Seite: Aufgabe 46

Aufgabe 47

Prädikatsvervollständigung mit mehreren Prädikaten.

Gegeben sei folgender Text.

Elefanten sind Tiere. Königselefanten sind Elefanten, und Arbeitskönigselefanten sind Königselefanten. Weiterhin wissen wir, erstens, daß alle Elefanten, die keine Königselefanten sind, grau sind, zweitens, daß alle Königselefanten, die keine Arbeitskönigselefanten sind, nicht grau sind und, drittens, daß alle Arbeitskönigselefanten vom vielen Arbeiten wiederum grau geworden sind.

Gib den Sachverhalt in der Prädikatenlogik wieder.

Führe Abnormalitätsprädikate ein.

Führe die Prädikatsvervollständigung für alle Prädikate gleichzeitig durch. Gib die Menge der jetzt gültigen Formeln an.

Wie wir aus Abschnitt 2.6 wissen, ist Clyde ein Königselefant. Was läßt sich über seine Hautfarbe aus der entstandenen Theorie herleiten?