“logic”（（他動詞）論理的にする）とは - 英語 - 英語 | ディクト

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

検索結果- 英語 - 英語

検索内容:

“logic”

logicize

他動詞自動詞

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

日本語の意味

（他動詞）論理的にする、論理に基づいて構築する / （自動詞）議論する、討論する

このボタンはなに？

Before presenting her conclusions, she attempted to logicize the raw data into a coherent narrative.

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

関連語

logicizes

（ present singular third-person ）

logicizing

（ participle present ）

logicized

（ participle past ）

logicized

（ past ）

logicisms

活用形複数形

plural of logicism

原形: logicism

日本語の意味

「logicism」の複数形、すなわち論理主義（哲学や数学において、論理に基づく方法論・理論を重視する立場）の複数形を指します。

このボタンはなに？

The debate among philosophers over the validity of logicisms has persisted for decades.

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

logics

活用形複数形

plural of logic

原形: logic

日本語の意味

「logic」の複数形。単数形『logic』は『論理』または『論理学』を意味しますが、この場合はその複数の形態を示しています。

このボタンはなに？

The professor compared different logics to demonstrate how assumptions change conclusions.

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

logics

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

Third-person singular simple present indicative form of logic

原形: logic

日本語の意味

これは、動詞 'logic' の第三人称単数の単純現在形の活用形を表しており、意味そのものではなく活用形についての説明です。

このボタンはなに？

She logics her way through every debate, turning vague claims into clear conclusions.

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

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.

日本語の意味

直観主義論理：排中律（または同値で二重否定法則やピアースの法則）を拒否する論理体系であり、直観主義の基礎となる論理。

このボタンはなに？

The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.

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

関連語

intuitionistic logics

（ plural ）

logical system

(logic) A formal system.

日本語の意味

形式体系 / 論理体系

このボタンはなに？

The mathematician developed a new logical system to formalize the proofs.

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

関連語

logical systems

（ plural ）

formal logic

可算名詞不可算名詞

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

日本語の意味

数学的論理学 / 特定の論理計算体系

このボタンはなに？

Graduate students studying computer science often take courses in formal logic to improve their reasoning skills.

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

関連語

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.

日本語の意味

数学的論理学：論理学と数学の一分野で、論理の数学的研究とその知見を他の数学領域へ応用することで、形式論理の表現力や形式的証明体系の推論力に関する問題に取り組む分野

このボタンはなに？

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

関連語

mathematical logics

（ plural ）

logical calculus

(logic) A formal system.

日本語の意味

形式体系 / 形式論理体系

このボタンはなに？

The philosopher developed a new logical calculus to formalize reasoning about belief.

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

関連語

logical calculi

（ plural ）

deontic logic

可算名詞不可算名詞

日本語の意味

義務、許可、その他関連する概念の研究 / 義務と許可の概念を捉える形式的な論理体系

このボタンはなに？

The philosopher used deontic logic to formalize the idea that agents are obliged to keep their promises.

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

関連語

deontic logics

（ plural ）

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★