Vi fant 3 definisjoner av mathematical logic på engelsk.
Noun |
||
| mathematical logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | ||
| symbolic logic, formal logic | ||
| logical system, system of logic, logic reasoned and reasonable judgment; "it made a certain kind of logic" | ||
| boolean algebra, boolean logic a system of symbolic logic devised by George Boole; used in computers | ||
| propositional calculus, propositional logic a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them | ||
| functional calculus, predicate calculus a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) | ||
| modal logic a system of logic whose formal properties resemble certain moral and epistemological concepts | ||
Substantiv |
||
| mathematical logic - A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems. |