検索結果- 英語 - 英語

検索内容:

proposition.

propositional function

名詞

(logic) An expression containing algebraic symbols that serve to represent words or other elements of a sentence or proposition

日本語の意味

命題関数：論理学において、文や命題の要素を表現するために、変数や記号（代数的記号）を含む表現。

このボタンはなに？

The mathematician explained how a propositional function can be used to formalize statements about integers.

Google翻訳 / DeepL翻訳

数学者は、命題の構成要素を代数記号で表す式がどのように整数についての命題を形式化するために使えるかを説明した。

詳細

関連語

propositional functions

（ plural ）

詳細

categorical proposition

名詞

(logic) A proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term). There are four types: "all S are P", "all S are not P", "some S are P", and "some S are not P".

日本語の意味

（論理学）あるカテゴリーの対象（主題項）が、別のカテゴリー（述語項）に属するかどうかを断定または否定する命題。具体的には、「すべてのSはP」「すべてのSはPではない」「一部のSはP」「一部のSはPではない」の4つの形式で表現される。

このボタンはなに？

In classical syllogistic logic, a categorical proposition like "All humans are mortal" asserts a relation between two classes.

Google翻訳 / DeepL翻訳

古典的な三段論法において、「すべての人間は死ぬ」のような範疇命題は、あるカテゴリーの成員が別のカテゴリーに属することを肯定または否定する命題であり、二つの集合の間の関係を示します。

詳細

関連語

categorical propositions

（ plural ）

詳細

categorical propositions

名詞

活用形複数形

plural of categorical proposition

日本語の意味

「categorical proposition」の複数形、すなわち複数の断定命題（または直言命題）を指す表現です。

このボタンはなに？

The professor explained how categorical propositions determine the structure of syllogistic arguments.

Google翻訳 / DeepL翻訳

教授は、これらの定言命題が三段論法の構造を決定する仕組みを説明した。

詳細

propositional logics

名詞

活用形複数形

plural of propositional logic

日本語の意味

これは「propositional logic」の複数形を示しており、複数の命題論理を指す場合に用いられます。

このボタンはなに？

In our graduate seminar, we compared several propositional logics to understand how different truth-functional connectives affect validity.

Google翻訳 / DeepL翻訳

大学院のゼミで、私たちはいくつかの異なる命題論理体系を比較して、さまざまな真理機能的結合子が論理的妥当性にどのように影響するかを理解しました。

詳細

propositional constant

名詞

(logic) One of a set of letters or symbols which are assigned fixed truth values independently of any interpretation or valuation, and each of which qualifies as a prime formula of their language.

日本語の意味

命題定数：論理学において、解釈や評価に依存せず固定された真偽値が割り当てられた文字や記号。各記号は、その論理体系の基本的な（素となる）公式として機能する。