本文へスキップ
法人様向け ログイン
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 多言語

検索内容:

logic)

logicize

動詞
 他動詞 自動詞

(transitive) To make logical; to bring into the domain of logic. / (intransitive) To argue.

日本語の意味
（他動詞）論理的にする、論理に基づいて構築する / （自動詞）議論する、討論する
英語の意味
(transitive) To make logical; to bring into the domain of logic. / (intransitive) To argue.
このボタンはなに？
翻訳する

結論を発表する前に、彼女は生データを論理化して、首尾一貫した説明にまとめようとした。

詳細
関連語

logicizes
（ present singular third-person ）

logicizing
（ participle present ）

logicized
（ participle past ）

logicized
（ past ）

詳細

logicisms

名詞
 活用形 複数形

plural of logicism

原形: logicism
日本語の意味
「logicism」の複数形、すなわち論理主義（哲学や数学において、論理に基づく方法論・理論を重視する立場）の複数形を指します。
英語の意味
plural of logicism
このボタンはなに？
翻訳する

哲学者たちの間で、論理主義の諸理論の妥当性をめぐる議論は数十年にわたり続いている。

詳細
詳細

logics

名詞
 活用形 複数形

plural of logic

原形: logic
日本語の意味
「logic」の複数形。単数形『logic』は『論理』または『論理学』を意味しますが、この場合はその複数の形態を示しています。
英語の意味
plural of logic
このボタンはなに？
翻訳する

教授は、前提がどのように結論を変えるかを示すために、さまざまな論理体系を比較した。

詳細
詳細

logics

動詞
 活用形 直説法 現在形 単数形 三人称

Third-person singular simple present indicative form of logic

原形: logic
日本語の意味
これは、動詞 'logic' の第三人称単数の単純現在形の活用形を表しており、意味そのものではなく活用形についての説明です。
英語の意味
Third-person singular simple present indicative form of logic
このボタンはなに？
翻訳する

彼女はあらゆる討論を論理的に進め、漠然とした主張を明確な結論に変える。

詳細
詳細

intuitionistic logic

名詞

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

日本語の意味
直観主義論理：排中律（または同値で二重否定法則やピアースの法則）を拒否する論理体系であり、直観主義の基礎となる論理。
英語の意味
(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.
このボタンはなに？
翻訳する

セミナーでは、直観主義論理が構成的数学における真理の概念をどのように変えるかが議論された。

詳細
関連語

intuitionistic logics
（ plural ）

詳細

logical system

名詞

(logic) A formal system.

日本語の意味
形式体系 / 論理体系
英語の意味
(logic) A formal system.
このボタンはなに？
翻訳する

その数学者は証明を形式化するために新しい形式体系を開発した。

詳細
関連語

logical systems
（ plural ）

詳細

formal logic

名詞
 可算名詞 不可算名詞

(logic) Mathematical logic. / (logic) A particular logical calculus.

日本語の意味
数学的論理学 / 特定の論理計算体系
英語の意味
(logic) Mathematical logic. / (logic) A particular logical calculus.
このボタンはなに？
翻訳する

コンピュータサイエンスを学ぶ大学院生は、推論力を高めるために数理論理学の講義を履修することが多い。

詳細
関連語

formal logics
（ plural ）

詳細

mathematical logic

名詞
 不可算名詞 通常

(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

日本語の意味
数学的論理学：論理学と数学の一分野で、論理の数学的研究とその知見を他の数学領域へ応用することで、形式論理の表現力や形式的証明体系の推論力に関する問題に取り組む分野
英語の意味
(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.
このボタンはなに？
翻訳する

セミナーで、教授は数理論理学が形式言語の表現力や証明体系の推論力を分析するための手法をどのように提供するかを示した。

詳細
関連語

mathematical logics
（ plural ）

詳細

logical calculus

名詞

(logic) A formal system.

日本語の意味
形式体系 / 形式論理体系
英語の意味
(logic) A formal system.
このボタンはなに？
翻訳する

その哲学者は信念に関する推論を形式化するための新しい形式体系を開発した。

詳細
関連語

logical calculi
（ plural ）

詳細

deontic logic

名詞
 可算名詞 不可算名詞

(logic) The study of obligation, permission, and related concepts. / (logic) A formal system capturing the concepts of obligation and permission.

日本語の意味
義務、許可、その他関連する概念の研究 / 義務と許可の概念を捉える形式的な論理体系
英語の意味
(logic) The study of obligation, permission, and related concepts. / (logic) A formal system capturing the concepts of obligation and permission.
このボタンはなに？
翻訳する

哲学者は、義務と許可の論理を用いて、行為者が約束を守る義務があるという考えを形式化した。

詳細
関連語

deontic logics
（ plural ）

詳細

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

ログイン

パスワードを忘れましたか？
──── or ────

アカウントを持っていませんか？ 新規登録

新規登録

──── or ────

アカウントを持っていますか？ ログイン

　

アプリをダウンロード！
DiQt

DiQt（ディクト）

無料

★★★★★★★★★★