5. Systèmes logiques
5.1 Systèmes formels
Définition (système formel). Un système formel (formal system) consiste en la donnée d’un langage formel, muni d’une grammaire formelle, permettant d’engendrer un ensemble d’expressions dites bien formées en utilisant des règles de formation dites de syntaxe.
Les systèmes formels sont d’abord apparus en logique mathématique afin de représenter mathématiquement le langage et le raisonnement mathématiques, mais ils sont utilisés également dans d’autres contextes : informatique, intelligence artificielle, chimie…
Définition (formule). Pour un langage formel donné, une formule (formula) (bien formée) est le nom générique donné à une expression (bien formée) de ce langage.
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Systèmes logiques
Métalogique
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Quiz et tests de validation présents dans cet article
Entraînez-vous autant que vous le voulez avec les quiz d'entraînement.
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
