英语学习词典
  

logic

Try Other Sites  百度 Dict.cn Hjenglish  Cambridge M-W OneLook Google





logic [ 'lɔdʒik] n.逻辑,推理;逻辑性

logic ['lɔdʒik] 逻辑

模糊逻辑 fuzzy logic

DPL Dolby Pro Logic 杜比定向逻辑

逻辑学 Logic

CAMEL Customized Applications for Mobile Network Enhanced Logic 移动网增强逻辑的用户应用

Your friend doesn't seem to be controlled by logic.
你那位朋友好像没有逻辑性。

He argues with learning and logic.
他的辩论既展示了他的学识,又合乎逻辑。

有的事是行不通的。
Not everything is logical. *logical “合逻辑的”、“合乎道理的”。
Everything isn't always logical.
Not everything follows the rules of logic.

Histories make men wise; poems witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.
Francis Bacon, British Philosopher
历史使人明智;诗词使人灵秀;数学使人周密;自然哲学使人深刻;伦理使人庄重;逻辑辞学使人善辩。
英国哲学家培根.F.

公里 [gōng lǐ] /kilometer/axiom (logic)/

归纳法 [guī nà fǎ] /(Logic) induction/

理 [lǐ] /reason/logic/science/inner principle or structure/

逻 [luó] /logic/patrol/

逻辑炸弹 [luó jí zhá dàn] /logic bomb/

逻辑 [luó ji ] /logic/

模糊逻辑 [mó hu luó ji ] /fuzzy logic/

数理逻辑 [shù lǐ luó jí] /mathematical logic/symbolic logic/

演绎 [yǎn yì] /(Logic) deductive/

演绎法 [yǎn yì fǎ] /(Logic) deduction/

{adj: Aristotelian, Aristotelean, Aristotelic, peripatetic} of or relating to Aristotle or his philosophy
"Aristotelean logic"

{adj: absurd} inconsistent with reason or logic or common sense
"the absurd predicament of seeming to argue that virtue is highly desirable but intensely unpleasant"- Walter Lippman

{adj: cold} extended meanings; especially of psychological coldness; without human warmth or emotion
"a cold unfriendly nod"
"a cold and unaffectionate person"
"a cold impersonal manner"
"cold logic"
"the concert left me cold"
<-> hot

{adj: faultless, immaculate, impeccable} without fault or error
"faultless logic"
"speaks impeccable French"
"timing and technique were immaculate"
"an immaculate record"

{adj: incomparable, uncomparable} such that comparison is impossible; unsuitable for comparison or lacking features that can be compared
"an incomparable week of rest and pleasure"
"the computer proceeds with its incomparable logic and efficiency"
"this report is incomparable with the earlier ones because of different breakdowns of the data"
<-> comparable

{adj: inner, internal, intimate} innermost or essential
"the inner logic of Cubism"
"the internal contradictions of the theory"
"the intimate structure of matter"

{adj: interchangeable} (mathematics, logic) such that the arguments or roles can be interchanged
"the arguments of the symmetric relation, `is a sister of,' are interchangeable"

{adj: receptive} open to arguments, ideas, or change
"receptive to reason and the logic of facts"

{adj: symbolic, symbolical} relating to or using or proceeding by means of symbols
"symbolic logic"
"symbolic operations"
"symbolic thinking"

{adj: valid} well grounded in logic or truth or having legal force
"a valid inference"
"a valid argument"
"a valid contract"
"a valid license"
<-> invalid

{adv: a priori} derived by logic, without observed facts
<-> a posteriori

{n: Aristotelian logic} the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages

{n: Aristotelianism} (philosophy) the philosophy of Aristotle that deals with logic and metaphysics and ethics and poetics and politics and natural science
"Aristotelianism profoundly influenced Western thought"

{n: Boethius, Anicius Manlius Severinus Boethius} a Roman who was an early Christian philosopher and statesman who was executed for treason; Boethius had a decisive influence on medieval logic (circa 480-524)

{n: Boolean logic, Boolean algebra} a system of symbolic logic devised by George Boole; used in computers

{n: NAND circuit, NAND gate} a logic gate that produces an output that is the inverse of the output of an AND gate

{n: Prolog, logic programing, logic programming} a computer language designed in Europe to support natural language processing

{n: Wittgenstein, Ludwig Wittgenstein, Ludwig Josef Johan Wittgenstein} British philosopher born in Austria; a major influence on logic and logical positivism (1889-1951)

{n: alethic logic} the modal logic of necessity and possibility and contingency

{n: axiom} (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident

{n: completeness} (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system

{n: consistency} (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another

{n: contradiction, contradiction in terms} (logic) a statement that is necessarily false
"the statement `he is brave and he is not brave' is a contradiction"

{n: corollary} (logic) an inference that follows directly from the proof of another proposition

{n: deontic logic} the modal logic of obligation and permissibility

{n: discussion, treatment, discourse} an extended communication (often interactive) dealing with some particular topic
"the book contains an excellent discussion of modal logic"
"his treatment of the race question is badly biased"

{n: doxastic logic} the modal logic of belief and disbelief

{n: epistemic logic} the modal logic of knowledge and uncertainty and ignorance

{n: explanans} (logic) statements that explain the explicandum; the explanatory premises

{n: explicandum, explanandum} (logic) a statement of something (a fact or thing or expression) to be explained

{n: fuzzy logic} a form of mathematical logic in which truth can assume a continuum of values between 0 and 1

{n: gate, logic gate} a computer circuit with several inputs but only one output that can be activated by particular combinations of inputs

{n: irrational motive} a motivation that is inconsistent with reason or logic

{n: logic bomb, slag code} a delayed action computer virus; a set of instructions surreptitiously inserted into a program that are designed to execute (or `explode') if a particular condition is satisfied; when exploded it may delete or corrupt data, or print a spurious message, or have other harmful effects
"a disgruntled employee planted a logic bomb"

{n: logic diagram, logical diagram} a graphical representation of a program using formal logic

{n: logic element} an electronic device that performs an elementary logic operation

{n: logic operation, logical operation} an operation that follows the rules of symbolic logic

{n: logic programming} creating a program that enables the computer to reason logically

{n: logic, logical system, system of logic} a system of reasoning

{n: logician, logistician} a person skilled at symbolic logic

{n: logicism} (philosophy) the philosophical theory that all of mathematics can be derived from formal logic

{n: logic} reasoned and reasonable judgment
"it made a certain kind of logic"

{n: logic} the branch of philosophy that analyzes inference

{n: logic} the principles that guide reasoning within a given field or situation
"economic logic requires it"
"by the logic of war"

{n: logic} the system of operations performed by a computer that underlies the machine's representation of logical operations

{n: mathematics, math, maths} a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement

{n: modal logic} a system of logic whose formal properties resemble certain moral and epistemological concepts

{n: modal logic} the logical study of necessity and possibility

{n: negation} (logic) a proposition that is true if and only if another proposition is false

{n: non sequitur} (logic) a conclusion that does not follow from the premises

{n: paradox} (logic) a statement that contradicts itself
"`I always lie' is a paradox because if it is true it must be false"

{n: particular, particular proposition} (logic) a proposition that asserts something about some (but not all) members of a class
<-> universal proposition, universal

{n: postulate, posit} (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning

{n: postulation, predication} (logic) a declaration of something self-evident; something that can be assumed as the basis for argument

{n: predicate calculus, functional calculus} a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

{n: predicate} (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula
"`Socrates is a man' predicates manhood of Socrates"

{n: propositional logic, propositional calculus} a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

{n: proposition} (logic) a statement that affirms or denies something and is either true or false

{n: quantifier, logical quantifier} (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition

{n: rationality, rationalness} the quality of being consistent with or based on logic

{n: reflexivity, reflexiveness} (logic and mathematics) a relation such that it holds between an element and itself

{n: semantic error, run-time error, runtime error} an error in logic or arithmetic that must be detected at run time

{n: subject} (logic) the first term of a proposition

{n: symbolic logic, mathematical logic, formal logic} any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

{n: symbolic logician} a person skilled at symbolic logic

{n: tautology} (logic) a statement that is necessarily true
"the statement `he is brave or he is not brave' is a tautology"

{n: threshold element, threshold gate} a logic element that performs a threshold operation

{n: transitivity} (logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third

{n: trivium} (Middle Ages) an introductory curriculum at a medieval university involving grammar and logic and rhetoric; considered to be a triple way to eloquence

{n: universal, universal proposition} (logic) a proposition that asserts something of all members of a class
<-> particular proposition, particular

{v: connote, predicate} involve as a necessary condition of consequence ; as in logic
"solving the problem is predicated on understanding it well"

{v: deduce, infer} conclude by reasoning ; in logic

{v: imply} suggest as a logically necessary consequence ; in logic

{v: rationalize, rationalise} think rationally ; employ logic or reason
"When one wonders why one is doing certain things, one should rationalize"

Jonathan has studied binary code and logic; he has his own computer at home.
乔纳森以前学过二进制编码和逻辑学,家里有一台自己的计算机。

In logic they could scant ignore, he summarised his opposition with one line:
在逻辑上他们难以忽视,但他只用一句话概括了他的反对意见:

In case the logic doesn't persuade you, Kelly piles on page after page of thought-provoking factoids.
如果这种逻辑不能使你信服,凯利还有一篇发人深思的说服文章。

Kids do say the darndest things from their innocent viewpoint, but they have a strange logic as well.
小孩的语言的确很奇妙,出自他们天真无邪的想法,同时,他们还有自己奇怪的逻辑。

After thousands of interactions with young people often barely old enough to talk, Piaget began to suspect that behind their cute and seemingly illogical utterances were thought processes that had their own kind of order and their own special logic.
通过上千次与常常是刚会说话的孩子对话,皮雅杰开始相信,在他们机敏和似乎缺乏逻辑的言词背后,可能存在着有其自身条理和特殊逻辑的思维过程。

He moved to Zurich, where he attended Carl Jung's lectures, and then to Paris to study logic and abnormal psychology.
他移居苏黎士,在那儿听卡尔·荣格的课,之后,又去了巴黎,学习逻辑和畸形心理学。

" Predictive logic ", a system that anticipates what users are looking for based on aggregate behavior patterns If the system uesses right, it will whisk users to their desired Web page.
预知逻辑,一根综合行为类型判断用户正在寻找哪些内容的系统。如果系统猜对了,它将迅速把用户引向他们希望浏览的网页。

spsc-32101611
Programmable array logic PAL
可编程的排列逻辑PAL

spsc-32101612
Gate array logic GAL
门排列逻辑GAL

spsc-32101613
Transistor transistor logic TTL
晶体管晶体管逻辑TTL

spsc-32101614
Emitter coupled logic ECL
发射器连接逻辑ECL

spsc-32101633
Logic gates
逻辑门

spsc-41113705
Logic state testers
逻辑状态检测器

spsc-60102605
Logic activity or resource books
逻辑教学和参考书

spsc-60102611
Logic games
逻辑游戏

arithmetic and logic unit (ALU) 算术及逻辑运算部件

combinational logic 组合逻辑

logic gate 逻辑门

logic level 逻辑电平,逻辑级

logic level indicator 逻辑电平指示器,逻辑级指示器

logic value 逻辑值

sequential logic 顺序逻辑

arithmetic logic unit(ALU) 算术逻辑运算单元

fuzzy logic 模糊逻辑

logic control 逻辑控制

multistate logic 多态逻辑

programmable logic controller (PLC) 可编程序逻辑控制器

Logic check 逻辑检查


122 paragraphs, 199 lines displayed.    Top
(Alt+Z : Reinput words.)
(You can doubleclick on the English words you are searching for.)