您要查找的是不是：
- 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. 本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
- deductive theorem 演绎定理演绎定理
- Context: The Pythagorean Theorem was proved using deductive reasoning. 上下文：毕德哥拉斯定理被人们运用演绎推理加以了证明。
- One of the propositions in a deductive argument. 前提演绎论证中的命题之一
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- To deduct from an amount; subtract. 减去，减掉从一数量中抽出；减掉
- You have the winding to deduct a percentage? 你们有下线提成吗?
- The second proof of Theorem 26 is due to James. 定理26的第二个证明属于詹姆斯。
- Use to deduct an item from another item. 用于从一个项减去另一个项。
- Theorem g is called binomial theorem. 定理g称为二项式定理。
- This completes the proof of the convexity theorem. 这就完成了凸定理的证明。
- To deduct from an amount;subtract. 减去，减掉从一数量中抽出;减掉
- You may deduct your families health insurance. 你可以扣除你的家庭健康保险.
- Want to deduct depreciation cost. 要扣除折旧费。
- Can you deduct this month's rent from the deposit? 这个月的房租可以从押金扣吗？
- This calculation illustrates the theorem. 这个计算说明了这样一个定理。
- Tax and insurance are deduct ed from your wages. 所得税和保险费从工资扣除.
- We call this principle a rule and not a theorem. 我们称这个法则为原理而不称为定理。
- To deduct or subtract from a cost or price. 减少从费用或价格中扣除或减去
- We have thus arrived at the very important theorem. 这样我们就得了一条很重要的法则。
