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

natural deduction n. Logic a method, devised separately in 1934 by G. Gentzen ( Math. Zeitschr. (1935) 39) and S. Jaśkowski ( Studia Logica (1934) 1), whereby formal proofs are obtained solely by the application of rules of inference without appeal to axioms.

ΘΚΠ

the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > logical inference > terms relating to

simplification1903

natural deduction1947

inference rule1962

the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > Polish school of symbolic logic > natural deduction

natural deduction1947

1947 Jrnl. Symbolic Logic 12 95 The paper is an exposition of methods of natural deduction developed by Hertz, Jaśkowski and Gentzen.

1969 Aristotelian Soc. Suppl. Vol. 43 53 The expression ‘natural deduction’ was introduced, I surmise, under the influence partly of the name bestowed on Herbrand's ‘theorem of deduction’ and partly of the French expression ‘la déduction naturelle’.

1991 Mind 100 58 Thomason succeeds in specifying a natural deduction system that is sound and complete with respect to Stalnaker's semantics.

单词	natural deduction
释义	> as lemmas natural deduction natural deduction n. Logic a method, devised separately in 1934 by G. Gentzen ( Math. Zeitschr. (1935) 39) and S. Jaśkowski ( Studia Logica (1934) 1), whereby formal proofs are obtained solely by the application of rules of inference without appeal to axioms. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > logical inference > terms relating to simplification1903 natural deduction1947 inference rule1962 the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > Polish school of symbolic logic > natural deduction natural deduction1947 1947 Jrnl. Symbolic Logic 12 95 The paper is an exposition of methods of natural deduction developed by Hertz, Jaśkowski and Gentzen. 1969 Aristotelian Soc. Suppl. Vol. 43 53 The expression ‘natural deduction’ was introduced, I surmise, under the influence partly of the name bestowed on Herbrand's ‘theorem of deduction’ and partly of the French expression ‘la déduction naturelle’. 1991 Mind 100 58 Thomason succeeds in specifying a natural deduction system that is sound and complete with respect to Stalnaker's semantics. extracted from naturaladj.adv. < as lemmas
随便看	rolling pendulum rolling pin rolling plant rolling press rolling press printer rolling press printing rolling purchase rolling refinery rolling resistance rolling road rolling room rolling rope rolling stability rolling start rolling stock rolling stone rolling stroke rolling table rolling tackle rolling trench rolling up rolling weed rolling wheel rollingly rollings

> as lemmas