Structure (logique mathématique)
en logique mathématique, ensemble muni de fonctions et de relations définies sur cet ensemble / De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Structure.
Ne doit pas être confondu avec Structure (mathématiques).
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir Note sur l'utilisation du mot modèle).
Cet article est une ébauche concernant la logique et les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
La sémantique de la logique du premier ordre se définit dans une structure.