Warning: file_put_contents(): Only 0 of 6265 bytes written, possibly out of free disk space in /www/wwwroot/ppbbbu/oiqp.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]