mathematical logic
English Thesaurus
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (noun.cognition)
hyponym | : | propositional calculus, propositional logic, |
definition | : | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them (noun.cognition) |
hyponym | : | functional calculus, predicate calculus, |
definition | : | a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) (noun.cognition) |
hyponym | : | modal logic, |
definition | : | a system of logic whose formal properties resemble certain moral and epistemological concepts (noun.cognition) |
hyponym | : | fuzzy logic, |
definition | : | a form of mathematical logic in which truth can assume a continuum of values between 0 and 1 (noun.cognition) |
Visual ArtiKata
Explore mathematical logic in ArtiKata.com >