Complétude de réfutation

Révision datée du 7 avril 2021 à 19:49 par Arielle H (discussion | contributions)

(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

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=49943 »

Révision

Contributeurs: Arielle Halindintwali, Imane Meziani, wiki