Sprache der Arithmetik-Formel < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 15:12 Fr 17.06.2011 | | Autor: | schubi |
| Aufgabe | | In der Sprache der Arithmetik schreiben Sie die Formel, die sagt, dass alle Zahlen mit geradem Quadrat gerade sind. |
Hallo,
habe so meine Probleme mit der Prädikatenlogik... bei dieser Aufgabe habe ich zwar einen Ansatz, ich weiß allerdings nicht, ob der korrekt ist!
Hier (m)eine vermutete Lösung:
[mm] \exists [/mm] n [mm] \in \IZ \qquad M=\{x | x=2n \} \qquad \exists [/mm] z [mm] \in [/mm] M [mm] \qquad \forall y:(y^{z} \Rightarrow [/mm] (y [mm] \in [/mm] M))
Ist das so korrekt?
Ich habe auch noch weitere Fragen zu anderen Aufgaben. Soll ich diese Hier gleich mit drunter stellen, oder soll ich einen neue Frage dafür stellen? (Sind vom Thema her anders ...) :)
Vielen Dank im vorraus
LG
Schubi
|
|
| |
|
> In der Sprache der Arithmetik schreiben Sie die Formel, die
> sagt, dass alle Zahlen mit geradem Quadrat gerade sind.
>
> Hallo,
> habe so meine Probleme mit der Prädikatenlogik... bei
> dieser Aufgabe habe ich zwar einen Ansatz, ich weiß
> allerdings nicht, ob der korrekt ist!
>
> Hier (m)eine vermutete Lösung:
>
> [mm]\exists[/mm] n [mm]\in \IZ \qquad M=\{x | x=2n \} \qquad \exists[/mm] z
> [mm]\in[/mm] M [mm]\qquad \forall y:(y^{z} \Rightarrow[/mm] (y [mm]\in[/mm] M))
>
> Ist das so korrekt?
Nein.
Offenbar willst du zuerst die Menge M der geraden Zahlen
definieren. Das könnte so aussehen:
$\ M\ :=\ [mm] \{\,x\in\IZ\ |\ \exists n\in\IZ\ \ (x=2*n)\,\}$
[/mm]
und damit dann die eigentliche Aussage:
$\ [mm] \forall y\in\IZ\ [/mm] \ [mm] (y^2\in [/mm] M\ [mm] \Rightarrow\ y\in M\,)$
[/mm]
> Ich habe auch noch weitere Fragen zu anderen Aufgaben. Soll
> ich diese Hier gleich mit drunter stellen, oder soll ich
> einen neue Frage dafür stellen? (Sind vom Thema her anders
> ...) :)
Neues Thema ---> neue Diskussion !
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:24 Di 28.06.2011 | | Autor: | schubi |
Danke schön :)
|
|
|
|
