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

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}$ .
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.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.