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