英语词汇“deduction theorem”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

> as lemmas

deduction theorem

deduction theorem n. Logic the rule or metatheorem that if within a system a formula B is derivable from a formula A, then ‘If A then B’ is a theorem of the system; the principle of conditionalization.

ΚΠ

1941 O. Helmer tr. A. Tarski Introd. Logic vi. 127 A general law..which..is known as the law of deduction (or the deduction theorem).

1951 Mind 60 382 The Deduction Theorem holds for the calculus of causal propositions.

1962 W. Kneale & M. Kneale Devel. Logic v. 320 The principle of conditionalization (or ‘deduction theorem’)..was taken for granted by Aristotle.

extracted from deductionn.

as lemmas

单词	deduction theorem
释义	> as lemmas deduction theorem deduction theorem n. Logic the rule or metatheorem that if within a system a formula B is derivable from a formula A, then ‘If A then B’ is a theorem of the system; the principle of conditionalization. ΚΠ 1941 O. Helmer tr. A. Tarski Introd. Logic vi. 127 A general law..which..is known as the law of deduction (or the deduction theorem). 1951 Mind 60 382 The Deduction Theorem holds for the calculus of causal propositions. 1962 W. Kneale & M. Kneale Devel. Logic v. 320 The principle of conditionalization (or ‘deduction theorem’)..was taken for granted by Aristotle. extracted from deductionn. < as lemmas
随便看	diatactical diatessarial diatessaron diatessarons diathermacy diathermal diathermancy diathermaneity diathermanism diathermanous diathermant diathermic dipping-trough dipping-tub dipping-tube dipping-vat dipping-vessel dipping-well dipping-wheel dipping-works dippingbath dippingcompass dippingframe dippinghouse dippingladle