您要查找的是不是:
- The article uses the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable. 本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。
- Her deduction that he was now dead was correct. 她作出的他此时已经死亡的推论是正确的。
- A conclusion drawn; a deduction. 推断得出的结论; 归纳的结果
- deduction theorem 演绎定理
- His deduction from the evidence was correct. 他从证据上所推测的结论是正确的。
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- What deduction can we make from these facts? 我们能根据这些事实作出什么样的推断呢?
- Net salary is gross salary minus tax and national insurance deduction. 净工资是工资总额减去税收和扣除国民保险。
- The second proof of Theorem 26 is due to James. 定理26的第二个证明属于詹姆斯。
- That seems a reasonable deduction. 那似乎是合理的结论。
- Theorem g is called binomial theorem. 定理g称为二项式定理。
- It's an obvious deduction that she is guilty. 推断出的明显结论是她有罪.
- This completes the proof of the convexity theorem. 这就完成了凸定理的证明。
- To lend money after deduction of interest. 贴现;减息贷款在扣除利息后贷款
- Involving or using deduction in reasoning. 演绎法推理的包含或用演绎法推理的
- Some stores make a deduction for cash payment. 有些商店对现款交易可略打折扣。
- This calculation illustrates the theorem. 这个计算说明了这样一个定理。
- We call this principle a rule and not a theorem. 我们称这个法则为原理而不称为定理。
- We have thus arrived at the very important theorem. 这样我们就得了一条很重要的法则。
- The relation of consequent to antecedent;deduction. 推理前后因果关系;推理