theorem deduction的意思|示意

---

theorem deduction相关短语

1、 deduction theorem 演绎定理

2、 deduction theorem detail 演绎定理

3、 natural deduction theorem proving 自然演绎法定理证明