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.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Logic systems
Metalog
Article included in this offer
"Mathematics"
(
167 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
