命題関数とは？ わかりやすく解説

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)

「概念記法」の記事における「命題関数」の解説

命題関数の発明（第1章§9 関数）。「水素は二酸化炭素より軽い」を表す式言語において,「水素」の代わりに「酸素」あるいは「窒素」を代入することができる。そこで,「水素」を項,「二酸化炭素より軽い」を関数と呼ぶ。項Aの関数をΦ（A）のように書く。フレーゲは,それまで名辞（主語－述語）で表されていた命題を,関数で表したのである。

※この「命題関数」の解説は、「概念記法」の解説の一部です。
「命題関数」を含む「概念記法」の記事については、「概念記法」の概要を参照ください。