命めい題だい関かん数すう

noun

propositional function; sentential function

Technical term in logic and mathematics. Refers to an expression containing variables that becomes a proposition when the variables are replaced with specific values.

• 「xは偶ぐう数すうである」は命めい題だい関かん数すうの一いち例れいです。

  "x is an even number" is an example of a propositional function.