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]
返回 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]