网站首页  汉语  德语  英语

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

　

单词 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.
随便看

　

雅致网英汉双解词典包含236457条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。

　

Copyright © 2002-2024 53pku.com All Rights Reserved
更新时间：2025/6/18 18:45:53