Gerichteter Graph/Elementarer Ausdruck/1/Aufgabe/Lösung

Den Ausdruck

$\exists u\exists v\exists w(u\neq v\wedge u\neq w\wedge v\neq w\wedge Rux\wedge Rvx\wedge Rwx)$

erfüllen genau die beiden Punkte ${}d$ und ${}e$, da diese für drei Pfeile die Endpunkte sind. Ein Unterschied zwischen ${}d$ und ${}e$ ist, dass bei ${}d$ nur Pfeile von Punkten ankommen, an denen jeweils höchstens ein Pfeil ankommt, während in ${}e$ ein Pfeil, nämlich der von ${}d$ ankommt, auf dem mehr als ein Pfeil ankommt. Daher ist

$\exists u\exists v\exists w(u\neq v\wedge u\neq w\wedge v\neq w\wedge Rux\wedge Rvx\wedge Rwx)\wedge \forall y\forall z\forall s(yRx\wedge zRy\wedge sRy\rightarrow z=s).$

Zur gelösten Aufgabe