Réfutation par Résolution

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une méthode de preuve qui démontre l'insatisfiabilité d'un ensemble de clauses en appliquant de manière répétée la règle de résolution pour produire de nouvelles clauses jusqu'à dériver la clause vide, signe d'une contradiction.