英语词汇“mathematical logic”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

WORD FAMILY

mathematical logic

USAGE EXAMPLES

He made an early mark in mathematical logic.

New York Times(Mar 17, 2016)

Feeling that he had solved the problem of mathematical logic, Wittgenstein disappeared once again to become a grade school teacher in an obscure mountain village.

Forbes(Oct 11, 2014)

SQL works at the most elemental level of mathematical logic – the properties, or attributes, of things and their values.

Forbes(Jul 18, 2014)

n any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Syn|Hypo|Hyper

formal logic, symbolic 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

fuzzy logic

a form of mathematical logic in which truth can assume a continuum of values between 0 and 1

alethic logic

the modal logic of necessity and possibility and contingency

deontic logic

the modal logic of obligation and permissibility

epistemic logic

the modal logic of knowledge and uncertainty and ignorance

doxastic logic

the modal logic of belief and disbelief

logic, logical system, system of logic

a system of reasoning

单词	mathematical logic
释义	mathematical logic (once / 214897 pages) n WORD FAMILY mathematical logic USAGE EXAMPLES He made an early mark in mathematical logic. New York Times(Mar 17, 2016) Feeling that he had solved the problem of mathematical logic, Wittgenstein disappeared once again to become a grade school teacher in an obscure mountain village. Forbes(Oct 11, 2014) SQL works at the most elemental level of mathematical logic – the properties, or attributes, of things and their values. Forbes(Jul 18, 2014) n any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity Syn\|Hypo\|Hyper formal logic, symbolic 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 fuzzy logic a form of mathematical logic in which truth can assume a continuum of values between 0 and 1 alethic logic the modal logic of necessity and possibility and contingency deontic logic the modal logic of obligation and permissibility epistemic logic the modal logic of knowledge and uncertainty and ignorance doxastic logic the modal logic of belief and disbelief logic, logical system, system of logic a system of reasoning
随便看	Marco Polo's sheep Marcus Annius Verus Marcus Antonius Marcus Aurelius Marcus Aurelius Antoninus Marcus Aurelius Valerius Maximianus Marcus Cocceius Nerva Marcuse Marcus Junius Brutus Marcus Terentius Varro Marcus Tullius Cicero Marcus Ulpius Traianus Marcus Vipsanius Agrippa Marcus Whitman Mardi Gras Marduk mare mare clausum mare liberum Marengo mare nostrum mare's nest mare's tail Marfan's syndrome Margaret Court