« Complétude de réfutation » : différence entre les versions
m (Remplacement de texte : « ↵↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵==Sources== » par « ==Sources== ») |
||
| Ligne 7 : | Ligne 7 : | ||
== Anglais == | == Anglais == | ||
'''refutation completeness''' | '''refutation completeness''' | ||
==Sources== | ==Sources== | ||
Dernière version du 30 août 2024 à 18:03
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
