Elementare Äquivalenz/Punkte/Rechts-links/Aufgabe

Wir betrachten das Symbolalphabet ${}S$, das neben Variablen aus einem einzigen zweistelligen Relationssymbol ${}R$ besteht, wobei in der abgebildeten Punktemenge das Relationssymbol ${}R$ als „(echt) rechts von“ interpretiert wird. Für zwei Punkte ${}P,Q$ bedeutet also ${}RPQ$, dass sich ${}P$ rechts von ${}Q$ befindet.

1. Welche(r) Punkt(e) erfüllt(en)

   $\exists y(Ryx\wedge \forall z(Rzx\rightarrow y=z)?$

2. Charakterisiere den Punkt ${}p_{0}$ mit einem ${}S$-Ausdruck in der einen freien Variablen ${}x$.

Zur Lösung, Alternative Lösung erstellen