Pränexe Normalform < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Betrachten Sie die folgenden FO-Formeln, wobei c ein Konstantensymbol, P ein einstelliges Relationssymbol und R ein zweistelliges Relationsymbol ist:
$(i) Pc [mm] \land \forall [/mm] x [mm] (\exists [/mm] y (Px [mm] \leftrightarrow \neg Py))$
$(ii)\forall x (Px \vee \exists x \neg Px)$
$(iii)Rcc \land \forall x \exists y (Rxy \rightarrow \exists [/mm] y Ryx)$
Geben Sie für jede diesen FO-Formeln eine äquivalente Formel in pränexer Normalform und in Skolemnormalform an. |
Hallo zusammen!
Ich habe eine Frage zur pränexen Normalform.
Sowohl bei (i) als auch bei (iii) bin ich mir unsicher wo die Relationen, zu denen es keine Quantoren gibt, stehen sollen.
Bei (i) schwanke ich zwischen
[mm] $\forall [/mm] x [mm] \exists [/mm] y ((Px [mm] \leftrightarrow \neg Py) \land Pc)$
und
$\forall x \exists y (Px \leftrightarrow \neg Py) \land Pc$
Kann jemand kurz erklären wie hier die Regel ist?
Ist das sonst soweit korrekt?
Viele Grüße
Phil
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
[/mm]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Mi 15.06.2016 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
