peamosche Axiome < Analysis < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 13:17 Fr 21.10.2005 | | Autor: | denwag |
Hallo, hab folgende aufgabe auf:
1. Aus n nicht = m folgt n` nicht = m`
es soll diese aussage unter benutzung der peaoschen axiome gezeigt werden.
mein problem ist der ansatz, ich weiß nicht wie ich es zeigen soll. ich weiß ja dass das 4. peanosche axiom heißt: aus n`=m` folgt n=m. dass zeigt mir ja das die aussage wahr ist.
meine frage: wie beweise ich dies? mit IA, IV und IS?
danke schon mal im vorraus!
|
|
| |
|
> Hallo, hab folgende aufgabe auf:
>
> 1. Aus n nicht = m folgt n' nicht = m'
>
> es soll diese aussage unter benutzung der peaoschen axiome
> gezeigt werden.
>
> mein problem ist der ansatz, ich weiß nicht wie ich es
> zeigen soll. ich weiß ja dass das 4. peanosche axiom heißt:
> aus n'=m' folgt n=m. dass zeigt mir ja das die aussage wahr
> ist.
Hallo,
Du hast die Antwort ja schon selbst geliefert: das zu Beweisende ist äquivalent zum 4.Peanoaxiom. Das mußt Du nur noch aufschreiben.
Z.B. : "Durch Kontaposition des 4. Peanoaxioms folgt direkt die Behauptung."
> meine frage: wie beweise ich dies? mit IA, IV und IS?
Das kannst Du Dir für die nächste Aufgabe aufheben. Oder kommt keine mehr???
Gruß v. Angela
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 14:03 Fr 21.10.2005 | | Autor: | denwag |
hi, nochmal.
also schreibe ich als antwort:
Beweis durch Kontrapsition des 4. Peanoschen Axioms folgt direkt die Behauptung.
Beh.: Ist n nicht = m, so auch n´ nicht = m´, n,m element N.
Beweis: (n nicht = m => n´ nicht = m´) <=> (n = m => n´ = m´)
Das reicht schon als beweis? Ist das nicht einwenig zu kurz?
p.s.: ja hab noch aufgabe, aber ich kann das nicht hier rein setzten weil ich kein summenzeichen machen kann.oder soll ich es einfachmal so versuchen?
danke schön!
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:15 Fr 21.10.2005 | | Autor: | Bastiane |
Hallo!
> p.s.: ja hab noch aufgabe, aber ich kann das nicht hier
> rein setzten weil ich kein summenzeichen machen kann.oder
> soll ich es einfachmal so versuchen?
Hast du schon mal die Eingabehilfen unten gesehen? Damit kann man sehr wohl ein Summenzeichen machen!!! Und übrigens auch ein [mm] \not= [/mm] - ich musste nämlich lange überlegen, bevor ich sicher war, dass du wirklich das mit deiner komischen Formulierung meinst.
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
| |
|
> hi, nochmal.
> also schreibe ich als antwort:
> Beweis durch Kontrapsition des 4. Peanoschen Axioms folgt
> direkt die Behauptung.
> Beh.: Ist n nicht = m, so auch n´ nicht = m´, n,m element
> N.
> Beweis: (n nicht = m => n´ nicht = m´) <=> (n = m => n´ =
> m´)
>
> Das reicht schon als beweis? Ist das nicht einwenig zu
> kurz?
Meiner Meinung nach reicht das voll und ganz. Es fiele mir auch nicht ein, was noch zu sagen wäre.
> p.s.: ja hab noch aufgabe, aber ich kann das nicht hier
> rein setzten weil ich kein summenzeichen machen kann.oder
> soll ich es einfachmal so versuchen?
Poste es keinesfalls ohne Summenzeichen!
Aber wie Bastiane sagt: die Eingabehilfen unten...
Wenn Du das Summenzeichen haben willst, klick unten auf's Summenzeichen. Das, was im weißen Kästchen erscheint, brauchst Du dann einfach nur in Deinen Text zu kopieren. Versuch's mal! Es ist potteinfach. (Ich hatte das zu Anfang gar nicht gesehen und war mit den Wurzelzeichen völlig überfordert...) Wenn Du dann vorm Abschicken des Textes noch auf "Vorschau" drückst, kannst Du gucken, ob alles so geworden ist, wie geplant.
Gruß v. Angela
|
|
|
|
