検索結果- 英語 - 英語

検索内容:

logicisms

predicate logic

名詞

日本語の意味

記号論理体系全般、すなわち一階述語論理、二階述語論理、多相論理、無限論理などの体系を含む場合がある。 / 一階述語論理

このボタンはなに？

In the seminar, we explored the foundations of predicate logic and its role in proving completeness theorems.

Google翻訳 / DeepL翻訳

ゼミでは、一次・二次・多ソート・無限論理といった記号的な形式体系（総称して述語論理）の基礎と、それらが完全性定理の証明に果たす役割を探りました。

詳細

関連語

predicate logics

（ plural ）

詳細

temporal logic

名詞

可算名詞不可算名詞

A form of symbolic logic used to reason about properties of statements related to order and duration.

日本語の意味

命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。

このボタンはなに？

Researchers used temporal logic to verify that the distributed system maintained message order and timing constraints.

Google翻訳 / DeepL翻訳

研究者たちは、分散システムがメッセージの順序と時間的制約を維持していることを検証するために時相論理を用いた。

詳細

関連語

temporal logics

（ plural ）

詳細

temporal logics

名詞

活用形複数形

plural of temporal logic

日本語の意味

「temporal logic」（時相論理）の複数形です。

このボタンはなに？

In the seminar, we explored different temporal logics to understand their expressiveness and limitations.

Google翻訳 / DeepL翻訳

セミナーでは、表現力と限界を理解するために、さまざまな時相論理を検討しました。

詳細

chop logic

形容詞

比較不可項

(of an argument, sometimes hyphenated) Characterized by equivocation or by overly complex or specious argumentation; improperly reasoned.

日本語の意味

議論において、あいまいな論拠や、複雑すぎたり見せかけのある論法によって、正確さや妥当性に欠ける論理展開を指す。 / 不適切な推論、すなわち誤った理由付けやごまかしのある論証の形態を示す。

このボタンはなに？

His chop logic argument fell apart when the data were examined.

Google翻訳 / DeepL翻訳

彼の詭弁的な議論は、データが検証されると崩れた。

詳細

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.

日本語の意味

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