prädikatenlogischen Formeln < Relationen < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 11:41 Mo 02.02.2009 | | Autor: | Dnake |
| Aufgabe | Welche der Bedeutungen <, [mm] \le, [/mm] >, [mm] \ge [/mm] für das atomare Prädikat P(x, y) machen die folgenden prädikatenlogischen Formeln auf der Menge N der natürlichen Zahlen wahr bzw. falsch?
a)Ax Ey P(x, y),
b)Ey Ax P(x, y).
(A soll den Allquantor und E den Existenzquantor darstellen) |
Hallo,
ich verstehe die Aufgabenstellung nicht. Was muss da mit was verglichen werden?
*steh auf dem Schlauch*
gruß
jan
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 03:24 Di 03.02.2009 | | Autor: | felixf |
Hallo
> Welche der Bedeutungen <, [mm]\le,[/mm] >, [mm]\ge[/mm] für das atomare
> Prädikat P(x, y) machen die folgenden prädikatenlogischen
> Formeln auf der Menge N der natürlichen Zahlen wahr bzw.
> falsch?
> a) [mm] $\forall [/mm] x [mm] \exists [/mm] y P(x, y)$,
> b) [mm] $\exists [/mm] y [mm] \forallx [/mm] P(x, y)$.
>
> ich verstehe die Aufgabenstellung nicht. Was muss da mit
> was verglichen werden?
Du sollst $P$ durch die vier oben angegebenen Praedikate (naemlich $<$, [mm] $\le$, [/mm] $>$ und [mm] $\ge$) [/mm] ersetzen und sagen ob die Aussagen dann stimmen oder nicht.
Nehmen mir mal [mm] $\le$ [/mm] fuer $P$. Dann bedeutet Aussage a): Fuer alle $x [mm] \in \IN$ [/mm] gibt es ein $y [mm] \in \IN$ [/mm] mit $x [mm] \le [/mm] y$. Und Aussage b) bedeutet: Es gibt ein $y [mm] \in \IN$ [/mm] so, dass fuer alle $x [mm] \in \IN$ [/mm] gilt $x [mm] \le [/mm] y$.
Kannst du damit mehr anfangen?
LG Felix
|
|
|
|
