Prädikatenlogik Teil 4
Prädikatenlogik Teil 4
Prädikatenlogik Teil 4
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Resolution<br />
Satz 8<br />
Sei α eine geschlossene prädikatenlogische Formel in Skolem Normalform<br />
mit Kern in KNF. Dann gilt:<br />
α widerspruchsvoll genau dann, wenn α | FAKT+RES<br />
⊔ gilt.<br />
<strong>Prädikatenlogik</strong> H. Kleine Büning 26/32