deductions).（自然演繹――自然な推論方法に基づ）とは - 英語 - 英語

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

検索結果- 英語 - 英語

検索内容:

deductions).

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.

翻訳する

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

詳細

tax-deductible

形容詞

比較不可

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

日本語の意味

演繹的推論（複数形）

このボタンはなに？

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」の複数形を表現しています。

このボタンはなに？

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

翻訳する

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

詳細

deduction theorems

名詞

活用形複数形

plural of deduction theorem

原形: deduction theorem

日本語の意味

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

このボタンはなに？

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

翻訳する

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

詳細

Webで検索する

検索結果- 英語 - 英語

natural deduction

tax-deductible

deductive inferences

deductive closures

deduction theorems

英語 - 英語

項目

例文

その他

ログイン / 新規登録

アプリをダウンロード！

検索結果- 英語 - 英語

natural deduction

tax-deductible

deductive inferences

deductive closures

deduction theorems

英語 - 英語

項目

例文

その他

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！