« Instance de base » : différence entre les versions
Aucun résumé des modifications |
m (ClaireGorjux a déplacé la page Ground instance vers Instance de base) |
(Aucune différence)
| |
Version du 25 octobre 2021 à 14:24
Définition
Une formule logique ne contenant aucune variable, ou dans laquelle des constantes ou des fonctions de constantes ont été substituées à toutes les variables.
Français
instance de base
Anglais
ground instance
Contributeurs: Claire Gorjux, wiki
