Richtige Definition? < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 19:40 Fr 15.02.2008 | | Autor: | Jennifer |
Hallo, vielleicht kann mir jemand von ecuh helfen und mir sage, ob meine folgende Defintion korrekt ist.
x ist Stiefvater von y
[mm] Sxy\gdw (\exists [/mm] z [mm] (Azy\wedge(Pxz\wedge \neg [/mm] Vxy)
wobei Axy= x ist Mutter von y
Pxy= x ist Ehepartner von y
Vxy x ist Vater von y
Vielen Dank schomal
Jenny
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 19:45 Fr 15.02.2008 | | Autor: | abakus |
Hallo Jennifer,
mein Kontakt zur "extremen" Prädikatenlogik ist zwar mehr als 20 Jahre her, aber das klingt für mich absolut korrekt.
Viele Grüße
Abakus
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:01 Sa 16.02.2008 | | Autor: | Jennifer |
danke :)
|
|
|
|
