单词 | formal logic |
释义 | formal logic (once / 46717 pages) n WORD FAMILY formal logic USAGE EXAMPLESIt’s complex, involves a lot of formal logic and algebra, and is mostly useless. Slate(Dec 16, 2016) You’re working on several levels: the narrative and gestural logic of the story, the formal logic of the choreography.” The Guardian(Feb 01, 2016) If you have excelled academically in fields such as formal logic, mathematics and natural sciences, make sure to mention those successes in your applications. US News(Oct 19, 2015) 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 mathematical logic, symbolic logic Boolean algebra, Boolean logic a system of symbolic logic devised by George Boole; used in computers propositional calculus, propositional logica branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them functional calculus, predicate calculusa system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) modal logica system of logic whose formal properties resemble certain moral and epistemological concepts fuzzy logica form of mathematical logic in which truth can assume a continuum of values between 0 and 1 alethic logicthe modal logic of necessity and possibility and contingency deontic logicthe modal logic of obligation and permissibility epistemic logicthe modal logic of knowledge and uncertainty and ignorance doxastic logicthe modal logic of belief and disbelief logic, logical system, system of logic a system of reasoning |
随便看 |
|
英语词典包含147318条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。