Interpretation < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 20:13 Mo 12.11.2007 | | Autor: | damien_ |
| Aufgabe | | Betrachten Sie die beiden Formeln [mm] \exists [/mm] y [mm] \forall [/mm] x : P(x,y) und [mm] \forall [/mm] x [mm] \exists [/mm] y : P(x,y). Finden Sie eine Interpretation für P, so dass die beiden Formeln äquivalent sind. Gilt dieser Zusammenhang allgemein? |
hallo,
mir ist die aufgabenstellung nicht klar
es soll gelten
[mm] \exists [/mm] y [mm] \forall [/mm] x : P(x,y) [mm] \gdw \forall [/mm] x [mm] \exists [/mm] y : P(x,y)
soll ich die [mm] \gdw [/mm] Terme auflösen in [mm] \Rightarrow [/mm] und [mm] \Leftarrow [/mm] und anshcließend das ergebnis mündlich ausdrücken? Aber das wäre keine interpretation von P, oder?
fg
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:39 Mi 14.11.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
