Übung Aufgaben 1 EG WS2010

Im Skript wurde die Injektivität einer beliebigen Bewegung $\beta$mittels der Implikation

(I)$\mathrm{\forall }{P}_1,P_2\in ϵ:(P_1\ne P_2\Rightarrow \beta (P_1)\ne \beta (P_2))$ bewiesen.

Beweisen Sie die Injektitivät von $\beta$ noch einmal, indem Sie die Kontraposition von (I) beweisen.

Diskutieren Sie den Zusammenhang zum indirekten Beweis der Implikation (I).