mathematical_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: | formal_logic symbolic_logic | |
Related terms: | logic predicate_calculus propositional_logic modal_logic fuzzy_logic Boolean_logic | |
Similar spelling: |
mathematical_space mathematical_symbol mathematical_product mathematical_process mathematical_proof mathematical_group mathematical_function mathematical_relation mathematical_notation mathematics_teacher |