Aussageformen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 11:23 So 07.11.2004 | | Autor: | Reaper |
geg.: Jede natürliche Zahle hat einen Nachfolger aber nicht jede einen Vorgänger.
Liege ich da richtig in der Annahme dass die Ausformulierung hier so aussehen muss:?
[mm] \forall [/mm] x [mm] \in \IN \exists! [/mm] y [mm] \not\in [/mm] [n,n+1]
|
|
| |
|
Hallo Reaper!
> geg.: Jede natürliche Zahle hat einen Nachfolger aber nicht
> jede einen Vorgänger.
>
> Liege ich da richtig in der Annahme dass die
> Ausformulierung hier so aussehen muss:?
>
> [mm]\forall[/mm] x [mm]\in \IN \exists![/mm] y [mm]\not\in[/mm] [n,n+1]
Ich weiß nicht so ganz, was du hiermit meinst, aber ich würde es so formulieren:
[mm] \forall [/mm] x [mm] \in \IN \exists! [/mm] y [mm] \in \IN: [/mm] y=x+1
[mm] \exists [/mm] x [mm] \in \IN: \not \exists [/mm] z [mm] \in \IN: [/mm] z+1=x
Verstehst du, wie ich das meine? Ob das wirklich richtig ist, weiß ich nicht, aber deine Sache verstehe ich nicht.
Viele Grüße
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
|
