« Complétude de réfutation » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵↵<small> » par « ==Sources== ») |
||
| Ligne 8 : | Ligne 8 : | ||
'''refutation completeness''' | '''refutation completeness''' | ||
==Sources== | |||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Refutation+completeness&index=alt&codom2nd_wet=1#resultrecs Source : TermiumPlus ] | [https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Refutation+completeness&index=alt&codom2nd_wet=1#resultrecs Source : TermiumPlus ] | ||
Version du 27 janvier 2024 à 19:31
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
