Negation von Integern < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | | [Dateianhang nicht öffentlich] |
Hallo,
kann mir jemand bei obigem Beweis helfen? Ich habe leider keine Ahnung wie ich da vorgehen soll, formale Grundlagen der Informatik oder ähnliches habe ich nie gehabt. Anschaulich ist mir natürlich klar, dass das funktioniert aber ich habe keine Ahnung wie man sowas rechnerisch löst?!
Dateianhänge:
Anhang Nr. 1 (Typ: PNG) [nicht öffentlich]
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 23:11 Fr 30.10.2009 | | Autor: | barsch |
Hi,
spontan ist mir folgendes in den Sinn gekommen:
Laut Definition ist [mm] -x:=\overline{x}+1 \\\ \Rightarrow{\overline{x}=-x-1}
[/mm]
Somit gilt dann
[mm] \overline{x-1}=...=-x
[/mm]
Gruß
barsch
|
|
|
|
