« 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
Contributeurs: Imane Meziani, wiki
