Substitution von FO Formeln < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 13:15 Mi 18.08.2010 | | Autor: | Mr_moe |
| Aufgabe | Sei [mm]f[/mm] ein 2-Stelliges Funktionssymbol und [mm]E[/mm] ein zweistelliges Relationssymbol.
Berechnen Sie[mm] \varphi[x/fyz , y/fzz, z/x] [/mm]für[mm]
\varphi:= \exists x(Exz \wedge \forall z Eyz) \vee \forall z ( Exz \wedge Ezy \wedge \exists y Exy )[/mm] |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Tag zusammen,
mein Problem ist das ich nicht genau weiss ob meine Lösung der Aufgabe richtig ist. Ich denke es fehlt was.
Hier meine Lösung:
[mm] \varphi:= \exists y \exists z ( Efyz \wedge \forall x Efzzx) \vee \forall x ( Efyzx \wedge Exfzz \wedge \exists z Efyzfzz) [/mm]
Das Problem was ich darin sehe besteht darin, dass nun Variablen, die vorher frei waren, gebunden sind.
Ist mein Ansatz zur Lösung schon falsch oder muss ich jetzt nocheinmal substituieren?
danke schonmal
moe
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:20 Sa 21.08.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
