« Clauses parentes » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte — « <small> féminin </small> » par « ») |
||
Ligne 3 : | Ligne 3 : | ||
== Français == | == Français == | ||
'''Clauses parentes''' | '''Clauses parentes''' | ||
== Anglais == | == Anglais == |
Version du 1 février 2021 à 19:31
Définition
Dans la démonstration du théorème de résolution, les clauses parentes sont les deux clauses originales desquelles une nouvelle clause est dérivée par résolution.
Français
Clauses parentes
Anglais
Parent clauses
![](/wiki/annonces/DF annonce FB.jpg)
Contributeurs: Imane Meziani, wiki