请输入您要查询的英文单词：

　

单词 natural deduction
释义

Definition of natural deduction in English:

natural deduction

noun
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.

Origin

1940s; earliest use found in Journal of Symbolic Logic.

Definition of natural deduction in US English:

natural deduction

noun
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.

Origin

1940s; earliest use found in Journal of Symbolic Logic.
随便看

　

英汉双解词典包含464360条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/1/31 7:33:49