Lösung von Aufgabe 12.09 WS 12 13

Aufgabe 12.09 Es sei $k$ ein Kreis und $\overline{MB}$ ein Radius von $k$. $t$ sei eine Gerade mit $t\perp MB\wedge B\in t$. Beweisen Sie Fehler beim Parsen (Unbekannte Funktion „\equi“): {\displaystyle \neg \exist P: P \in t \wedge P \in k \wedge P \not \equi B} . Lösung User ... --Yellow 22:36, 26. Jan. 2013 (CET) Lösung User ...