English Dictionary

natural deduction

名詞

不可算名詞

A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems.

日本語の意味

自然演繹――自然な推論方法に基づく証明体系。論理的な推論規則が、日常の思考の流れに即している点が特徴です。

The textbook explains natural deduction through a series of inference rules that mirror everyday logical reasoning.

教科書は、推論規則によって論理的推論が日常的な思考に近い形で表現される証明計算である自然演繹法を解説しています。

意味（1）

A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems.