 formal_logic |
||
| 1. | [ noun ] (mathematics,logic) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | |
| Synonyms: | mathematical_logic symbolic_logic | |
| Related terms: | logic predicate_calculus propositional_logic modal_logic fuzzy_logic Boolean_logic | |
| Similar spelling: |
formalistic formulaic |
|
