Resolutionsverfahren < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Aufgabe | Überführe die Formeln in konjunktive Normalform und zeige mit Resolutionsverfahren, ob die zu überführende Formel ableitbar ist.
Prämise:
A [mm] \vee [/mm] B,A->D,B->D
ableitbar?
[mm] \neg [/mm] A [mm] \vee \neg [/mm] B |
Also muss ich zeigen:
M ⊨ F gdw. M ∪{¬F} ⊨ ist unerfüllbar
Also konjunktive Normalform von M:
{ A∨B, ¬A∨D, ¬B∨D }
F negieren und konjunktive Normalform:
[mm] \neg ({\neg A \vee \neg B} [/mm] )
und hier hänge ich jetzt fest, da ich ja eine konjunktive Normalform brauche, aber die nicht hin bekomme.
Also die neg. vor der Klammer stört noch, wenn ich die aber "rein ziehe" ist die Formel nicht mehr konjunktiv.
Hat jemand einen Tipp für mich?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 13:20 So 22.06.2008 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|