您要查找的是不是：
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- The Development of an Expert System Mechanically Proving Statement Logic Theorem 一个命题逻辑机器证明专家系统的研究与开发
- It is logical to assume that they will attend. 按理他们是会出席的。
- Following as a logical conclusion. 必然的作为其逻辑结论随之发生的
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- A practitioner of a system of logic. 逻辑学家使用某一逻辑体系的人
- His argument is logical and hard to fault. ＂他的论据逻辑严密，无懈可击。＂
- There is no logic in what she says. 她讲的话没有道理。
- Socrates laid the foundations of logic. 苏格拉底奠定了逻辑学的基础。
- His thinking goes against all logic. 他的思维完全不合逻辑。
- logical theorem 逻辑定理
- logical theorems appear in Oppenheimer and Zalta 1991. 逻辑定理出现在1991年奥本海默和Zalta。
- Computer output with no mathematical or logical significance. 一种无数值或逻辑意义的计算机输出数据。
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- There's no logic in spending money on things you don't need. 把钱花在不需要的东西上是没有道理的。
- The second proof of Theorem 26 is due to James. 定理26的第二个证明属于詹姆斯。
- Theorem g is called binomial theorem. 定理g称为二项式定理。
- The debater's argument failed of logical connection. 辩论者的论点缺乏逻辑的连贯性。
- This completes the proof of the convexity theorem. 这就完成了凸定理的证明。
- Its logical reasoning cannot be gainsaid. 合乎逻辑的推理是不容否定的。
