Warning: file_put_contents(/www/wwwroot/zidian/oumou.cn/cache/73eb9fcb861013dd26e47c22aa508633.txt): failed to open stream: No space left on device in /www/wwwroot/zidian/oumou.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]