« Substitution de base » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Une substitution est appelée substitution de base si elle transforme toutes les variables de son domaine en termes de base, c'est-à-dire sans variables. C'est une une substitution de variables par des constantes ou des fonctions de constantes. | Une substitution est appelée substitution de base si elle transforme toutes les [[variable|variables]] de son domaine en termes de base, c'est-à-dire sans variables. C'est une une substitution de variables par des constantes ou des fonctions de constantes. | ||
== Français == | == Français == | ||
Version du 30 avril 2023 à 10:24
Définition
Une substitution est appelée substitution de base si elle transforme toutes les variables de son domaine en termes de base, c'est-à-dire sans variables. C'est une une substitution de variables par des constantes ou des fonctions de constantes.
Français
substitution de base
Anglais
ground substitution
a substitution of constants or functions of constants for variables.
Contributeurs: Maya Pentsch, wiki
