wie prüft man mit resolution auf gültigkeit?

kann mir jemand nochmal die zusammenhänge erklären bitte?

Na Du resolvierst solange, bis es nicht mehr geht und guckst was rauskommt.
(Präzise Frage - präzise Antwort!)

Na Du resolvierst solange, bis es nicht mehr geht und guckst was rauskommt.
(Präzise Frage - präzise Antwort!)

so überprüft man doch die erfüllbarkeit nicht die gültigkeit?

F ist genau dann gültig wenn /F eine Kontradiktion ist.
Kontradiktionen kannst du mit Resolution nachweisen.

Also:
Wenn du zeigen sollst dass F gültig ist, dann kannst du dies indem du per Resolution zeigst dass /F eine Kontradiktion ist.

wenn ich aus einer komplexen formel F, /F machen möchte…

ich habe gerade eine kleine blockade, wer kann mich helfen?

teilformeln negieren? …negation in die klammer ziehen und das and b.z.w. or "umdrehen"?

und die negation von (A=>D) ist?

ich kann gerade gar nicht mehr denken :(

was bedeutet denn "gültig" in diesem Kontext? Allgemeingültig, erfüllbar oder was ganz anderes?

was bedeutet denn "gültig" in diesem Kontext? Allgemeingültig, erfüllbar oder was ganz anderes?

ci denke mal es ist allgemeingültig gemeint.

hmm, wie sicher denkst du das? [28]

Ja, gueltig heisst allgemeingueltig. Siehe dazu Folie 3\[24\] (ja, da ist ein Druckfehler drin…)

ich denke das sicher, weill unser übungsleiter auch immer allgemeingültig mein wenn er von gültig spricht…

muss ich bei aufgabe 7.2 die Formel negieren und dann resolution anwenden?

also, wir wollen zeigen, dass F gültig ist, also das jede belegung die formel erfüllt. also zegen wir, dass nichtF unerfüllbar ist, was F dann erfüllbar also gültig macht.

sind die zusammenhänge so richtig?