Complétude de réfutation


Définition

La capacité d'une procédure de preuve, telle que la résolution, à dériver éventuellement une contradiction si l'ensemble des axiomes est contradictoire.

Français

complétude de réfutation

Anglais

refutation completeness

Source : TermiumPlus

Source : UTexas Artificial Intelligence Vocabulary