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

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

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

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