网站首页  词典首页

请输入您要查询的词汇：

　

词汇 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 © 2000-2024 Sndmkt.com All Rights Reserved 更新时间：2025/4/8 6:46:50