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

め

い

だ

い

か

ん

す

う

Meanings

1

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.

命

fate, command, decree

題topic, subject

関connection, barrier, gateway

数number, strength, fate

Similar words

述じゅつ語ご論ろん理り
Predicate logic, the broader logical system in which propositional functions are used.
命めい題だい
A proposition, which is a statement that is either true or false, whereas a propositional function contains variables and is not yet a proposition.

Etymology

Compound of 命題 (proposition) and 関数 (function), likely a calque from English 'propositional function'.