Resolutionsverfahren (Logik)
Resolutionsverfahren, Logik: ein Verfahren, mit dem festgestellt werden kann, ob aus den (prädikatenlogischen) Aussagen A1, ..., An die Aussage K folgt. Hierzu
(20 von 159 Wörtern)
Möchten Sie Zugriff auf den vollständigen Artikelinhalt?
Quellenangabe
Brockhaus,
Resolutionsverfahren (Logik).
http://brockhaus.at/ecs/enzy/article/resolutionsverfahren-logik