Resolutionsverfahren, Logik: ein Verfahren, mit dem festgestellt werden kann, ob aus den (prädikatenlogischen) Aussagen A1, ..., An die Aussage K folgt.

(19 von 157 Wörtern)
Möchten Sie Zugriff auf den vollständigen Artikelinhalt?

Quellenangabe
Brockhaus, Resolutionsverfahren (Logik). http://brockhaus.de/ecs/enzy/article/resolutionsverfahren-logik