Skolemform < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 20:41 Sa 23.04.2011 | | Autor: | XBTC |
Hallo zusammen,
nur eine kurze und vermutlich triviale Frage auf die ich dennoch keine Antwort finden kann.
Beim Erzeugen der Skolemform werden ja evtl. vorkommende Existenzquantoren gelöscht und die Variablen die durch sie gebunden wurden durch Funktionen ersetzt deren Stelligkeit und Variablen von den vor dem betreffenden Existenzquantor stehenden Allquantoren bestimmt sind.
Meine Frage: Was ist die Interpretation dieser "neuen" Funktionssymbole?
Die Skolemform ist ja zur ursprünglichen Formel erfüllbarkeitsäquivalent, aber ob die neue Formel überhaupt erfüllbar ist hängt doch davon ab welche Interpretation ich den neuen Funktionssymbolen zuordne?
Vielen Dank im Voraus für alle Tips!
P.s.: Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 Mi 27.04.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
