WG/Mehrstellige Relationen/Elementare Äquivalenz/Aufgabe

In einer Wohngemeinschaft leben die Personen ${}A,B,C,D,E$. Wir betrachten die folgenden Relationen:

1. ${}Txy$ bedeutet, dass ${}x$ und ${}y$ manchmal miteinander Tennis spielen,
2. ${}Sxyz$ bedeutet, dass ${}x,y$ und ${}z$ manchmal miteinander Skat spielen,
3. ${}Kxyzw$ bedeutet, dass ${}x,y,z$ und ${}w$ manchmal miteinander Doppelkopf spielen.

In der WG gilt

$TDE,SABC,SABE,KACED.$

1. Charakterisiere umgangssprachlich die Person ${}D$ allein unter Bezugnahme auf die gegebenen Spielrelationen.
2. Charakterisiere umgangssprachlich die Person ${}C$ allein unter Bezugnahme auf die gegebenen Spielrelationen.
3. Charakterisiere prädikatenlogisch durch einen Ausdruck mit der einzigen freien Variablen ${}x$ und den Relationssymbolen ${}T,S,K$ die Person ${}A$.
4. Charakterisiere prädikatenlogisch durch einen Ausdruck mit der einzigen freien Variablen ${}x$ und den Relationssymbolen ${}T,S,K$ die Person ${}B$.
5. Charakterisiere prädikatenlogisch durch einen Ausdruck mit der einzigen freien Variablen ${}x$ und den Relationssymbolen ${}T,S,K$ die Person ${}E$.

Zur Lösung, Alternative Lösung erstellen