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
Sources
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
