Complétude de réfutation


Révision datée du 30 août 2024 à 18:03 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵↵==Sources== » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

Source : TermiumPlus

Source : UTexas Artificial Intelligence Vocabulary

Récupérée de « https://datafranca.org/wiki/index.php?title=Complétude_de_réfutation&oldid=108437 »

Contributeurs: Arielle Halindintwali, Imane Meziani, wiki