即使我没有把所有的细节都说出来，你仍然可以做出一些有效的逻辑推论，也就是说，这家店是开着的，而且它卖咖啡。
Even if I don't spell out all the details, you can still make some useful logical inferences, namely, the shop is open and it sells coffee.
依照逻辑推论，我们的祖先在弄清1年是什么意思之前，不可能举行过每年一度的节庆。
Logic dictates that our ancestors could not have held a yearly festival until they figured what a year was.
你这个结论是按照形式逻辑的方法推论出来的。
You arrived at your conclusion using the methods of formal logic.
结构性失业的理论所衍生出来的某些逻辑推论很容易证明。
There are some logical implications of the structural unemployment story that are easy to test.
对于历史可能性的追问，往往难以得到真正的答案，但一些逻辑性的假设完全可以推论。
Alternative history often raises more questions than it answers, but some logical assumptions can be made.
如出一辙，卡里古拉的推论又演变为霍布斯和格劳修斯的逻辑。
The reasoning of Caligula agrees with that of Hobbes and Grotius.
在我开始修改那个演讲，期望找到主题思想和连贯性的地方，我碰到了一个又一个不合乎逻辑的推论。
When I began to revise it, where I expected to find meaning and consistency, I encountered one non sequitur after another.
现在就让它作为一幅画，一种视觉不合逻辑的推论存在吧。
他们的逻辑推论是北京和新德里应该像骑双人自行车一样协作。他们给了一个最近的例子：在哥本哈根气候大会上的共同位置。
Their 'logical' conclusion is that Beijing and Delhi should work in tandem. They give a recent example: the common position at Copenhagen Summit on Climate Change.
上帝愿望他的工人们每日更加明了因果推论的逻辑知识，以更获得明智与安全的结论。
God desires His workers to gain daily an understanding of how to reason logically from cause to effect, arriving at wise, safe conclusions.
可是我也要提醒你一旦推论不合逻辑，肯定会有对方的辩护律师站出来反对的。
Well, there's always an opposing counsel who will object if the inference is illogical.
逻辑推论的基本范畴，名词判断的分析，以及推理论证的各个形式都有所论述。
This section discussed the essential category of logical deduction the analysis of judgment and every aspect of inference.
他认为，逻辑是必然有效的推论规律的科学。
He thought that logic is the science of necessary and valid inference rules.
关于这个概念，有效的后续逻辑推论从结构特点判断或想法。
On this conception, the valid inferences of logic follow from the structural features of judgements or thoughts.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
人是自然存在物并不能够合乎逻辑地推论出人是道德存在物。
From "Man is natural being", we cannot logically infer that "Man is moral being".
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
这种反向推论的路径是西方逻辑的基础，即线性逻辑。
That backward path is the foundation of Western, linear logic.
“你别以偏概全，”他反驳道。“一个推论可以是合乎逻辑的但仍是错的。”
"Who said anything about logic?" he retorted. "an inference can be logical and still not be true."
这些有力的逻辑论证有两种推论。
这些有力的逻辑论证有两种推论。
应用推荐