WG/Mehrstellige Relationen/Elementare Äquivalenz/Aufgabe/Lösung

${}D$ ist diejenige Person, die manchmal Tennis spielt und kein Skat spielt.
${}C$ ist diejenige Person, die manchmal Skat spielt, und zwar nur bei einer Skatrunde beteiligt ist, und die nicht Tennis spielt.
${}\exists y{\left(\exists z\wedge \exists w{\left(z\neq w\wedge Sxyz\wedge Sxyw\right)}\right)}\wedge \exists y\exists z\exists wKxyzw$ .
${}\neg {\left(\exists y\exists z\exists wKxyzw\right)}$ .
${}\exists yTxy\wedge \exists y\exists zSxyz$ .