コトバンクはYahoo!辞書と技術提携しています。

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

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

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

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

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

命題関数の関連キーワード述語論理学記号論理学ラムゼー述語論理数量詞方程式実数

今日のキーワード

桃李もの言わざれども下自ら蹊を成す

《「史記」李将軍伝賛から》桃やすももは何も言わないが、花や実を慕って人が多く集まるので、その下には自然に道ができる。徳望のある人のもとへは人が自然に集まることのたとえ。...

続きを読む

コトバンク for iPhone

コトバンク for Android