Elementare Äquivalenz/Punkte/Rechts-links/Aufgabe/Lösung

1. Die Aussage trifft für ${}x$ genau dann zu, wenn es rechts von ${}x$ genau einen Punkt gibt. Dies gilt nur für ${}P_{1}$.
2. Der Punkt ${}p_{0}$ besitzt genau drei Punkte rechts von ihm. Also ist

   $\exists u\exists v\exists w(Rux\wedge Rvx\wedge Rwx\wedge u\neq v\wedge u\neq w\wedge v\neq w\wedge \forall z(Rzx\rightarrow z=u\vee z=v\vee z=w))$

   ein charakterisierender Ausdruck.

Zur gelösten Aufgabe