« Résolution de littéraux » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 4 : | Ligne 4 : | ||
== Définition == | == Définition == | ||
En logique, lors de la résolution, deux littéraux de signe opposé (un pour chaque clause) sont unifiés puis supprimés lors de la formation de la clause résultante. | En logique, lors de la résolution, deux symboles littéraux de signe opposé (un pour chaque clause) sont unifiés puis supprimés lors de la formation de la clause résultante. | ||
== Français == | == Français == | ||
''' | '''résolution de littéraux''' | ||
== Anglais == | == Anglais == | ||
'''literals resolved upon''' | '''literals resolved upon''' | ||
Version du 21 février 2023 à 16:19
Définition
En logique, lors de la résolution, deux symboles littéraux de signe opposé (un pour chaque clause) sont unifiés puis supprimés lors de la formation de la clause résultante.
Français
résolution de littéraux
Anglais
literals resolved upon
Contributeurs: Patrick Drouin, wiki
