propositional function（命題関数：論理学において）とは - 英語 - 英語

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

検索内容:

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.

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

活用形複数形

plural of propositional function

日本語の意味

「命題関数」という単語の複数形

In formal logic, propositional functions map objects to propositions and serve as the building blocks of predicate calculus.

形式論理では、命題関数は対象を命題に写像し、述語論理の構成要素となる。

Webで検索する