Pränexnormalform < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 17:05 Mo 25.06.2012 | | Autor: | Parkan |
Hallo
Ich habe gerade gemerkt das ein [mm]\neg\forall[/mm]x bei einer Formelumforung in die die Pränexnormalform vorne als [mm]\exists[/mm]x erscheint.
Was auch logisch klingt nachdem ich drüber nachgedacht habe, gibt es nochmer was man beachten soll?
Was ist z.b mit einem [mm]\neg\exists[/mm]x wenn man es nachvorne zieht ändert es sich auch?
In meinem Script ist eine Stelle die ich besonders nicht verstehe
....[mm]\neg\forall x3 \forall y2 (P(x3,x2)\vee(\negP(y2,x3))[/mm] das ist ein Teil einer grösseren Formel.
In der Pränexform taucht kein [mm]\forall y2[/mm] auf sondern wird zu [mm]\exists y2[/mm]. Wieso? Wenn dazu der rest der Formel nötig ist kann ich sie auch aufschreiben doch da taucht kein y2 auf
Janina
Vielen Dank
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Mi 27.06.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
