変数を含む文や式は変数に具体的な値を代入することによりはじめて命題となり、その正しさを判定できるようになります。一般に、変数を含む文や式を命題関数と呼びます。命題関数は述語論理の対象となる最小単位の概念です。
< 前のページ
次のページ >

命題関数

命題とは物事の判断について述べた文や式の中でも、客観的に真偽を判断できるもののことです。では、\(x\)が任意の実数を値として取り得るとき、以下の不等式\begin{equation*}
x>1
\end{equation*}は命題でしょうか。\(x=3\)を代入すれば\(3>1\)となり、これは真な命題です。また、\(x=0\)を代入すれば\(0>1\)となり、これは偽な命題です。つまり、不等式\(x>1\)に含まれる\(x\)に具体的な値を代入すれば命題が得られますが、不等式\(x>1\)そのままでは真偽を判定できないため、これは命題ではありません。

先の不等式\(x>1\)に含まれる\(x\)のように、未知の数・対象を表す文字や記号のことを変数(variable)と呼びます。変数を含む文や式は変数に具体的な値を代入することによりはじめて命題となり、その真偽を判定できるようになります。逆に言うと、変数を含む文や式はそのままでは真偽を判定できないため、命題ではありません。一般に、変数を含む文や式を命題関数(propositional function)と呼びます。

例(命題関数)
\(x\)が任意の正の整数を値として取り得るとき、\begin{equation}
x\text{は偶数である} \tag{1}
\end{equation}」という主張はそのままでは真偽を判定できないため、これは命題ではありません。例えば、\(x=1\)を代入すれば「\(1\)は偶数である」という偽な命題が得られ、\(x=2\)を代入すれば「\(2\)は偶数である」という真な命題が得られます。したがって、\(\left( 1\right) \)は変数\(x\)に関する命題関数です。
例(命題関数)
\(x\)が日本の都道府県を値として取り得るとき、\begin{equation}
x\text{は関東地方にある}
\tag{1}
\end{equation}という主張はそのままでは真偽を判定できないため、これは命題ではありません。例えば、\(x\)に「北海道」を代入すれば「北海道は関東地方にある」という偽な命題が得られ、\(x\)に「東京」を代入すれば「東京は関東地方にある」という真な命題が得られます。したがって、\(\left( 1\right) \)は変数\(x\)に関する命題関数です。
例(命題関数)
\(x\)が日本の山を値として取り得るとき、\begin{equation}
x\text{は高い} \tag{1}
\end{equation}という主張はそのままでは真偽を判定できないだけでなく、\(x\)に具体的な値を代入しても命題は得られません。具体例を挙げると、\(x\)に「富士山」という値を代入すれば「富士山は高い」という主張が得られますが、この主張の真偽は客観的に判定できないため、命題ではありません。したがって、\(\left( 1\right) \)は命題関数ではありません。続いて、\begin{equation}
x\text{の標高は3,000メートル以上である} \tag{2}
\end{equation}という主張について考えます。この主張はそのままでは真偽を判定できないため、命題ではありません。例えば、\(x\)に「富士山」という値を代入すれば「富士山の標高は3,000メートル以上である」という真な命題が得られ、\(x\)に「高尾山」という値を代入すれば「高尾山の標高は3,000メートル以上である」という偽な命題がえられます。したがって、\(\left( 2\right) \)は変数\(x\)に関する命題関数です。

複数の変数に関する命題関数を考えることもできます。命題関数が複数の変数を持つ場合には、すべての変数に具体的な値を代入することによりはじめて命題となり、その真偽を判定できるようになります。

例(命題関数)
\(x,y\)がともに任意の自然数を値として取り得るとき、\begin{equation}
x>y \tag{1}
\end{equation}という主張はそのままでは真偽を判定できないため、これは命題ではありません。例えば、\(\left( x,y\right) =\left( 2,1\right) \)を代入すれば「\(2>1\)」という真な命題が得られ、\(\left( x,y\right) =\left( 1,2\right) \)を代入すれば「\(1>2\)」という偽な命題が得られます。したがって、\(\left( 1\right) \)は変数\(x,y\)に関する命題関数です。
例(命題関数)
\(x,y\)がともに日本の都道府県を値として取り得るとき、\begin{equation}
x\text{の人口は}y\text{の人口よりも多い} \tag{2}
\end{equation}という主張はそのままでは真偽を判定できないため、これは命題ではありません。例えば、\(\left( x,y\right) =\left( \text{東京},\text{北海道}\right) \)を代入すれば「東京の人口は北海道の人口よりも多い」という真な命題が得られ、\(\left( x,y\right) =\left( \text{北海道},\text{東京}\right) \)を代入すれば「北海道の人口は東京の人口よりも多い」という偽な命題が得られます。したがって、\(\left( 1\right) \)は変数\(x,y\)に関する命題関数です。
例(命題関数)
\(a,b\)がともに任意の整数を値として取り得るとき、\begin{equation*}
x^{2}+ax+b=0\text{は実数解}x\text{を持つ}
\end{equation*}という主張はそのままでは真偽を判定できないため、これは命題ではありません。例えば、\(\left( a,b\right) =\left( 2,1\right) \)を代入すれば「\(x^{2}+2x+1=0\)は実数解\(x\)を持つ」という真な命題が得られ、\(\left( a,b\right) =\left( 2,3\right) \)を代入すれば「\(x^{2}+2x+3=0\)は実数解\(x\)を持つ」という偽な命題が得られます。したがって、\(\left( 1\right) \)は変数\(a,b\)に関する命題関数です。
例(命題関数)
\(x,y,z\)がいずれも任意の整数を値として取り得るとき、\begin{equation}
x>y>z \tag{1}
\end{equation}という主張はそのままでは真偽を判定できないため、これは命題ではありません。例えば、\(\left( x,y,z\right) =\left( 3,2,1\right) \)を代入すれば「\(3>2>1\)」という真な命題が得られ、\(\left( x,y,z\right) =\left( 2,3,1\right) \)を代入すれば「\(2>3>1\)」という偽な命題が得られます。したがって、\(\left( 1\right) \)は変数\(x,y,z\)に関する命題関数です。

命題関数の具体例をいくつか提示しましたが、述語論理では議論を一般化するため、個々の命題関数が具体的に何について言及しているかを問題とせず、命題関数を大文字のアルファベットと括弧に囲まれた変数を用いて表記します。具体例を挙げると、変数\(x\)に関する命題関数を\(P\left( x\right) ,Q\left( x\right) ,\cdots \)などで表記し、変数\(x,y\)に関する命題関数を\(P\left( x,y\right) ,Q\left( x,y\right) ,\cdots \)などで表記するということです。3つ以上の変数を持つ命題関数についても同様です。

 

述語論理

述語論理において議論の対象となる論理的な主張や推論はいずれも、命題関数どうしを一定のルールのもとで組み合わせることで得られる式として表現されます。そのような式を論理式(formula)や一階論理式(first-order formula)などと呼びます。論理式については後ほど正確に定義しますが、最も重要な点は、命題関数の組み合わせである論理式もまた、そこに含まれる変数に具体的な値を導入することではじめて命題となる命題関数であり、論理式の真理値は、変数に代入する値の組み合わせに応じて決定されるということです。

述語論理の目的は、論理式に含まれる個々の変数に代入する値の組み合わせによって、その論理式の真理値がどのように定まるかを規定するルールを定めた上で、そのルールを出発点としたときに、推論に関して何が言えるかを明らかにすることにあります。

次回から論理式について学びます。

次へ進む コメント・質問を投稿する 演習問題(プレミアム会員限定)
Share on facebook
Share on twitter
Share on email
< 前のページ
次のページ >

プレミアム会員サービス

ユーザー名とメールアドレスを入力して有料(500円/月)のプレミアム会員へアップグレードすることにより、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題、解答など)へのアクセスが可能に。
会員サービス
ログイン

プレミアム会員だけが質問やコメントを投稿・閲覧できます。

述語論理
アカウント
ログイン