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.

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

意味（1）

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

propositional functions

（ plural ）