Warning: file_put_contents(/www/wwwroot/zidian/biehu.cn/cache/167adeb35389920e3c0d35c3f9d6f87b.txt): failed to open stream: No space left on device in /www/wwwroot/zidian/biehu.cn/index.php on line 58 deduction theorem英英字典_deduction theorem剑桥英语解释_deduction theorem柯林斯英文解释_甲百汇小鸡词典
1. N the property of many formal systems that the conditional derived from a valid argument by taking the conjunction of the premises as antecedent and the conclusion as consequent is true 演绎定理[logic]