Warning: file_put_contents(): Only 0 of 5209 bytes written, possibly out of free disk space in /home/www/wwwroot/zidian/oclz.com/index.php on line 55 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]