命題関数（読み）めいだいかんすう（英語表記）propositional function

ブリタニカ国際大百科事典 小項目事典

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

一つの全体集合 U の元 x を含む命題 p(x) であって，x が指定されるたびに，それが真であるか偽であるかを判定できるものを，集合 U に関する命題関数という。たとえば，U を実数の集合とするとき，x²－5x＋4＝0 ，x²－7x＋12＜0 などは，U に関する命題関数である。

出典　ブリタニカ国際大百科事典 小項目事典