deducting（自然演繹――自然な推論方法に基づ）とは - 英語 - 多言語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 多言語

検索内容:

deducting

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.

日本語の意味

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

英語の意味

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.

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

tax-deductible

比較不可

That is exempt from payment of income tax.

日本語の意味

（経費などが）所得税の計算上、課税所得から差し引くことができる（控除対象となる）ことを表す。

英語の意味

That is exempt from payment of income tax.

このボタンはなに？

Donations to the charity are tax-deductible, so you can reduce your taxable income this year.

その慈善団体への寄付は所得税の支払いが免除されるため、今年の課税所得を減らすことができます。

deductive inferences

活用形複数形

plural of deductive inference

原形: deductive inference

日本語の意味

演繹的推論（複数形）

英語の意味

plural of deductive inference

このボタンはなに？

The philosopher criticized the student's deductive inferences as being based on hidden assumptions.

哲学者はその学生の演繹的推論を、隠れた前提に基づいているとして批判した。

deductive closures

活用形複数形

plural of deductive closure

原形: deductive closure

日本語の意味

「deductive closures」は「deductive closure」の複数形です。つまり、単数形である「deductive closure」の複数形を表現しています。

英語の意味

plural of deductive closure

このボタンはなに？

The logician compared several deductive closures to determine which system was more robust.

その論理学者は、どの体系がより堅牢かを判断するために、いくつかの演繹的閉包を比較した。

deduction theorems

活用形複数形

plural of deduction theorem

原形: deduction theorem

日本語の意味

『演繹定理』の複数形、すなわち複数の演繹定理を指す。

英語の意味

plural of deduction theorem

このボタンはなに？

Students studying formal logic often struggle to apply several deduction theorems during proof exercises.

形式論理を学ぶ学生は、証明の演習でいくつかの導出定理を適用するのにしばしば苦労します。

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★