« Instance de base » : différence entre les versions
m (ClaireGorjux a déplacé la page Ground instance vers Instance de base) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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. | 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 == | == Français == | ||
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
