演绎定理的英文翻译

中文：演绎定理