Elementare Äquivalenz/Wohngemeinschaft/Charakterisierende Ausdrücke/Aufgabe/Kommentar
Den Albert mit „Albert“ bezeichnen oder drauf zeigen, kann jeder. Es geht in dieser Aufgabe darum, die Personen ohne diese direkten Wege zu charakterisieren, zu adressieren, wo allein auf die beiden angegebenen Relationen Bezug genommen wird.
Diese Situation kennt man aus dem Alltag, man möchte beispielsweise bei einer Party vom Gastgeber wissen, wie denn eine Person heißt, die man selber nicht kennt. Dann sagt man vielleicht etwas wie: ich meine diejenige, die den Kartoffelsalat mitgebracht hat, viel Sekt getrunken hat und zum Schluss mit jemanden, der keinen Kartoffelsalat mitgebracht hat, auf den Tischen getanzt hat. Zwar haben viele Leute Kartotoffelsalat mitgebracht und auch viele von diesen viel Sekt getrunken, aber von diesen hat nur eine Person mit einem auf den Tischen getanzt, der keinen Kartoffelsalat mitgebracht hat (die andern haben eben nur mit anderen Kartoffelsalatmitbringern auf den Tischen getanzt), deshalb ist diese Charakterisierung eindeutig. Dabie können die Konstruktion wie „diejenige, die ... “ beliebig verschachtelt werden.
Ein einfacheres Beispiel: Wenn nur A und C da sind, und A kochen kann und C nicht, so sagt man einfach:
„derjenige, der kochen kann“.
Zum vorliegenden Beispiel. Generell ist es sinnvoll, mit den Leuten anzufangen, die zu einem kleinen Personenkreis gehören, der durch eine Relation beschrieben werden kann. Im vorliegenden Fall beginnt man mit der Kochfähigkeit, da das nur zwei Leute erfüllen. Diese beiden (also A und B) müssen jetzt unter Bezug auf die zweite Relation, das Dooffinden, von voneinander getrennt werden. Da A von drei Leuten doof gefunden wird, und B nur von einer Person, kann man dies direkt verwenden, es ist also
„diejenige Person, die kochen kann und von genau einer Person doof gefunden wird“
eine Charakterisierung von B.
Die schon gewonnenen Charakterisierungen kann man dann zur Charakterisierung weitere Personen heranziehen. Da E den B doof findet, ist
„diejenige Person, die diejenige Person doof findet, die kochen kann und nur von einer Person doof gefunden wird“
eine Charakterisierung von E.
Dagegen wäre
„diejenige Person, die genau eine Person doof findet, die kochen kann“
keine Charakterisierung von E, da dies auch auf G zutrifft.