Back Resolució (lògica) Catalan Rezoluce (logika) Czech Resolution (logic) English Resolución (lógica) Spanish رزولوشن (منطق) Persian Règle de résolution French Rezolúció Hungarian 導出原理 Japanese 분해 증명 Korean Resolutie (logica) Dutch
Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen.
Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein Widerlegungsverfahren: Statt direkt die Allgemeingültigkeit einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren Verneinung ab.
Diese Herleitung geschieht mittels eines Algorithmus auf rein formalem Weg und kann deshalb von einem Computerprogramm durchgeführt werden. Die Resolution ist eine der bekanntesten Techniken des Maschinengestützten Beweisens.