5. Logic systems
5.1 Formal systems
Definition (formal system). A formal system consists of a formal language with a formal grammar, which can be used to generate a set of well-formed expressions using formation rules known as syntax.
Formal systems first appeared in mathematical logic in order to mathematically represent mathematical language and reasoning, but they are also used in other contexts: computer science, artificial intelligence, chemistry...
Definition (formula). For a given formal language, a (well-formed) formula is the generic name given to a (well-formed) expression in that language.
...
The Ultimate Scientific and Technical Reference
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Logic systems
Metalog
Bibliography
The Ultimate Scientific and Technical Reference
