deduction theorem
deduction theorem是什么意思、deduction theorem怎么读
【计】 演绎定理
deduction theorem汉语翻译
【计】 演绎定理