Zeigen Sie (y<x)∧(z<x)⇒(y<z)

Question

Aufgabe: Zeigen Sie (y<x)∧(z<x)⇒(y<z)

Comments

Wie ist < definiert?

---

Die auf Zahlen übliche \(<\)-Relation kann ja nicht gemeint sein, wegen \(y = z = 0\) und \(x = 1\).

---

Wegen der Symmetrie des linken Ausdrucks bzgl. y und z,

hätte man dann y<z und zugleich z<y !