China Orb, online Chinese to English dictionary with nearly 1 million entries and plenty of excellent examples. The pin yin and pronunciation sound of Chinese wrods are provided. China Orb includes a lot of Chinese professional terms in many industries such as Medicine, Chemistry, Mechanism, Electricity, Computer, Economy, Law, Architecture. If you can not find satisfying translation elsewhere,try China Orb Chinese to English dictionary.

China Orb, online English to Chinese dictionary with more than 1 million entries and plenty of excellent examples. China Orb includes a lot of English professional terms in many industries such as Medicine, Chemistry, Mechanism, Electricity, Computer, Economy, Law, Architecture. If you can not find satisfying translation elsewhere,try China Orb English to Chinese dictionary.

deduction theorem
English: deduction theorem
Chinese: 【计】 演绎定理
Examples:
1. In this paper, the syntax of lattice valued propositional logic system L( X) was discussed, the axiom and rules of inference of L( X) were given, the soundness theorem deduction theorem and consistency theorem were proved.
本文讨论以格蕴涵代数为真值域的格值命题逻辑系统L()语法问题,给出了系统的公理和推演规则,并证明了系统的可靠性定理、绎定理*及协调性定理。