formal system
formal system · formal systems
логіка
формальная система
formales System
The grouping of a formal language and a set of inference rules and/or axiomsThe grouping of a formal language and a set of inference rules and/or axioms.
Meaning
1 sensesThe grouping of a formal language and a set of inference rules and/or axioms.
formales System
формальная систе́маformalʹnaja sistéma
More definitions
- (logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction.
Translations
3 languagesРусский
By meaning 1
combination of formal language and inference rules:
Deutsch
By meaning 1
combination of formal language and inference rules:
Forms
plural: formal systems| Singular | formal system |
|---|---|
| Plural | formal systems |
regular