- 1. deduction theorem: 演绎定理
考虑演绎定理（deduction theorem）的例子，这个定理为：
dict.youdao.com - 2. deduction theorem detail: 演绎定理
dict.youdao.com - 3. natural deduction theorem proving: 自然演绎法定理证明
dict.youdao.com - 4. theorem deduction: 定理推导
dict.youdao.com - 5. theorem and deduction: 定理和推论
dict.youdao.com
有道词典