pränexnormalform < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 13:34 Fr 20.11.2009 | | Autor: | n3un |
| Aufgabe | bestimme die pränexnormalform.
[mm] \forall [/mm] x [mm] \exists [/mm] y p(x,y) [mm] \vee \neg \exists [/mm] x [mm] \forall [/mm] y p(x,y) |
hallo,
ich habe die frage in keinem anderem forum gestellt.
ich soll aus dieser formel eine pränexnormalform herstellen.
ich weis das die quantoren alle nach vorne gezogen werden sollen. aber wie löse ich die negation auf? oder behalt ich diese bei?
wäre über eine verständliche erklärung sehr dankbar. : )
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:20 Sa 28.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
