命題関数

命題関数について

命題関数（Propositional function）は、数理論理学において非常に重要な概念であり、特に各変数の値に基づいて「真」または「偽」の命題を生成する機能を持っています。この関数は、変数が持つ各値に対して真理値を割り当てる写像として理解されます。

定義

命題関数を定義するためには、まず次の二点の記号を用います。

• - 真な命題を示す記号：`⋎`
• - 偽な命題を示す記号：`⋏`

設計した命題関数については、集合 L0 を真理値から成る集合（すなわち `⋎` と `⋏` のみからなる）とし、D を一つの固定された空でない集合とします。n 個の D の直積、つまり `∏_{i=1}^{n}D` から L0 への写像を n 変数の命題関数と呼びます。

この命題関数はまた、述語、性質、条件とも呼ばれ、n 変数の場合は n 項関係とも表現されます。集合 D は議論領域と称され、D の全ての元を対象と呼びます。

例

例えば、議論領域 D が自然数の全体で構成されていると仮定します。また、真理関数 `￢` や `∨` が L0 に定義されている場合、D から L0 への写像 F を以下のように定義することができます。これにより、F は1変数の命題関数となります。

次に、D×D から L0 への写像 G も同様に定義されることで、G は2変数の命題関数として機能します。この場合、2項関係 R(n, m) は nRm と表記され、G(n, m) は nGm と書かれても構いません。

限定作用素

命題関数 F(x) が 1 変数のものであれば、全称作用素 ∀xF(x) および存在作用素 ∃xF(x) が以下のように定義されます。これは限定作用素と呼ばれ、∀ は全称記号、∃ は存在記号です。

命題 ∀xF(x) は「すべての対象 x に対して F(x) が成り立つ」と解釈され、∃xF(x) は「F(x) を満たす対象 x が少なくとも一つ存在する」と読まれます。

具体的な例

ここでは議論領域 D を整数全体とし、1変数の命題関数 F(n) を下記のように定義します。F(1) が `⋎` である場合、これは正しくなく、したがって F(n) = `⋎` は恒等式ではありません。従い、その結果 ∀nF(n) は `⋏` となるのです。

さらに、F(2)が `⋏` であれば、これも正しくないため F(n) = `⋏` は恒等式でないとされ、∃nF(n) は `⋎` となります。

関連項目

命題関数の理解は、数理論理学や数学基礎論に深い関連があります。特に、述語論理、集合、写像、直積といった概念と強く結びついています。また、全称記号や存在記号、または自由変数と束縛変数に関する高度な理解も必要です。

参考文献

• - 前原昭二、「復刊 数理論理学序説」、共立出版株式会社、2010年。

以上が命題関数に関する概要および詳細な内容になります。命題関数は数理論理学の基盤を形作る重要な要素であり、その理解は数学的論理の深淵へと私たちを誘います。

もう一度検索