Programmieren mit Prolog

Beweisen durch WiderlegenFür eine Formelmenge X und eine geschlossene Formel A giltX A gdw X ∪ {¬A} □Aus X folgt A genau dann, wennX zusammen mit ¬A widersprüchlich ist.• □ als syntaktische Repräsentation des Widerspruchs.Gilt in keinem Modell. Alternativ: W → F oder FNormierung des FolgernsAufgabe: Warum muss A eine geschlossene Formel sein?Hochschule Darmstadt, Januar 2009 – p.21/54