Complétude de réfutation


Révision datée du 27 janvier 2024 à 20:31 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵↵<small> » 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=87891 »


Contributeurs: Arielle Halindintwali, Imane Meziani, wiki