Warning: file_put_contents(/www/wwwroot/zidian/diubi.cn/cache/d6e155b098c6a706ec8b2443c91d7fc6.txt): failed to open stream: No space left on device in /www/wwwroot/zidian/diubi.cn/index.php on line 59 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]