論理式の解釈

述語論理において論理式の値を特定するためには、変数の定義域を特定し、論理式に含まれるすべての命題関数の形状を特定し、さらに(開論理式の場合には)変数の自由な現れに代入する値を指定する必要があります。以上の 3 つの要素の組を論理式の解釈と呼びます。
< 前のページ

述語論理における論理式の解釈

復習になりますが、命題論理の基本単位は\(0\)または\(1\)を値としてとり得る命題変数\(P,Q,\cdots \)です。命題論理では命題変数に論理演算子を作用させることで論理式を得ますが、論理式の値を確定するためにはそこに含まれる個々の命題変数に\(1\)または\(0\)の値を代入する必要があります。論理式に含まれる命題変数の値の組み合わせをその論理式の解釈と呼びます。論理式の値を特定するためにはそれに対して何らかの解釈を与える必要があります。

やはり復習になりますが、述語論理の基本単位は様々な値を取り得る変数\(x_{1},\cdots ,x_{n}\)を持つ命題関数\(P\left( x_{1},\cdots ,x_{n}\right) \)です。命題関数もまた\(1\)または\(0\)を値としてとりますが、その値を特定するためには以下の3つの要素\begin{eqnarray*}
&&\left( a\right) \ \text{議論領域}D \\
&&\left( b\right) \ \text{関数}P\text{の形状}
\\
&&\left( c\right) \ \text{変数}x_{1},\cdots ,x_{n}\text{に代入する値}\overline{x}_{1},\cdots ,\overline{x}_{n}
\end{eqnarray*}を具体的に指定する必要があります。これが述語論理における命題関数の解釈です。

例(命題関数の解釈)
変数\(x\in X\)に関する命題関数\(P\left( x\right) \)について考えます。この命題関数の1つの解釈は、\begin{eqnarray*}
&&\left( a\right) \ X\text{はすべての自然数からなる集合} \\
&&\left( b\right) \ P\left( x\right) :x^{2}\geq 1 \\
&&\left( c\right) \ x=1
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
P\left( 1\right) :1^{2}\geq 1
\end{equation*}という真な命題に対応します。別の解釈は、\begin{eqnarray*}
&&\left( a\right) \ X\text{はすべての整数からなる集合} \\
&&\left( b\right) \ P\left( x\right) :x^{2}\geq 1 \\
&&\left( c\right) \ x=\frac{1}{2}
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
P\left( \frac{1}{2}\right) :\left( \frac{1}{2}\right) ^{2}\geq 1
\end{equation*}という偽な命題に対応します。さらに別の解釈は、\begin{eqnarray*}
&&\left( a\right) \ X\text{はすべての都道府県からなる集合} \\
&&\left( b\right) \ P\left( x\right) :x\text{の人口は}800\text{万人以上} \\
&&\left( c\right) \ x=\text{東京}
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
P\left( \text{東京}\right) :\text{東京の人口は}800\text{万人以上}
\end{equation*}という真な命題に対応します。命題関数は無限通りに解釈可能です。

述語論理では命題関数を含む原子論理式に論理演算子や量化記号を作用させることで論理式を得ます。論理式は変数の自由な現れを持つ開論理式と、変数の自由な現れを持たない閉論理式とに分類されます。論理式\(A\)が変数の自由な現れを持たない閉論理式である場合、その値を特定するためには以下の2つの要素\begin{eqnarray*}
&&\left( a\right) \ \text{議論領域}D \\
&&\left( b\right) \ \text{論理式}A\text{を構成するすべての命題関数の形状}
\end{eqnarray*}を具体的に指定する必要があります。以上が述語論理における閉論理式の解釈です。

例(閉論理式の解釈)
変数\(x\in X\)に関する命題関数\(P\left( x\right) \)に関する以下の論理式\begin{equation*}
\forall x\in X:P\left( x\right)
\end{equation*}は変数の自由な現れを持たないため、これは閉論理式です。この閉論理式の1つの解釈は、\begin{eqnarray*}
&&\left( a\right) \ X\text{はすべての実数からなる集合} \\
&&\left( b\right) \ P\left( x\right) :x^{2}\geq 0
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
\text{任意の実数}x\text{について}x^{2}\geq 0\text{が成り立つ}
\end{equation*}という真な命題に対応します。別の解釈は、\begin{eqnarray*}
&&\left( a\right) \ X\text{はすべての実数からなる集合} \\
&&\left( b\right) \ P\left( x\right) :\left\vert x\right\vert >0
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
\text{任意の実数}x\text{について}\left\vert x\right\vert >0\text{が成り立つ}
\end{equation*}という偽な命題に対応します。さらに別の解釈は、\begin{eqnarray*}
&&\left( a\right) \ X\text{はすべての都道府県からなる集合} \\
&&\left( b\right) \ P\left( x\right) :x\text{の人口は}800\text{万人以上}
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
\text{すべての都道府県の人口は}800\text{万人以上である}
\end{equation*}という偽な命題に対応します。閉論理式は無限通りに解釈可能です。

論理式\(A\)が変数\(x_{1},\cdots ,x_{n}\)の自由な現れを持つ開論理式\(A\left( x_{1},\cdots ,x_{n}\right) \)である場合、その値を特定するためには以下の3つの要素\begin{eqnarray*}
&&\left( a\right) \ \text{議論領域}D \\
&&\left( b\right) \ \text{論理式}A\text{を構成するすべての命題関数の形状} \\
&&\left( c\right) \ \text{変数の自由な現れに代入する値}\overline{x}_{1},\cdots ,\overline{x}_{n}
\end{eqnarray*}を具体的に指定する必要があります。以上が述語論理における開論理式の解釈です。

例(開論理式の解釈)
変数\(x\in X\)と\(y\in Y\)に関する命題関数\(P\left( x,y\right) \)に関する以下の論理式\begin{equation*}
\exists x\in X:P\left( x,y\right)
\end{equation*}は変数\(y\)の自由な現れを持つため、これは開論理式です。この閉論理式の1つの解釈は、\begin{eqnarray*}
&&\left( a\right) \ X,Y\text{はすべての実数からなる集合} \\
&&\left( b\right) \ P\left( x,y\right) :x^{2}=y \\
&&\left( c\right) \ y=2
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
x^{2}=2\text{を満たす実数}x\text{が存在する}
\end{equation*}という真な命題に対応します。別の解釈は、\begin{eqnarray*}
&&\left( a\right) \ X,Y\text{はすべての実数からなる集合} \\
&&\left( b\right) \ P\left( x,y\right) :x^{2}=y \\
&&\left( c\right) \ y=1
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
x^{2}=1\text{を満たす実数}x\text{が存在する}
\end{equation*}という偽な命題に対応します。さらに別の解釈は、\begin{eqnarray*}
&&\left( a\right) \ X\text{は都道府県の集合、}Y\text{はすべての自然数の集合} \\
&&\left( b\right) \ P\left( x,y\right) :x\text{の人口は}y\text{以上} \\
&&\left( c\right) \ y=800\text{万}
\end{eqnarray*}というものですが、この解釈は、\begin{equation*}
\text{人口が}800\text{万人以上の都道府県が存在する}
\end{equation*}という真な命題に対応します。開論理式は無限通りに解釈可能です。

 

論理式の解釈の応用

日常言語を使って表現された問題をあえて論理式に翻訳した上で、それを解釈すれば、もとの問題を解く助けになります。例を挙げます。

例(論理式の解釈の応用)
セールスマンが以下のように発言しました。「20代または30代でこの商品を購入した方々は全員、この商品を高く評価しています。残念ながら、この商品を高く評価していない方もいます。ただ、他の世代の方もこの商品を購入していることは確かです。」この発言には論理的な嘘が含まれている可能性がありますが、それはどのような嘘でしょうか。変数\(x\)の定義域\(X\)をすべての人からなる集合と定めた上で、以下の命題関数\begin{eqnarray*}
P\left( x\right) &:&x\text{は20代である} \\
Q\left( x\right) &:&x\text{は30代である} \\
R\left( x\right) &:&x\text{は商品購入者である} \\
S\left( x\right) &:&x\text{は商品を高く評価している}
\end{eqnarray*}をそれぞれ導入します。このとき、「20代または30代でこの商品を購入した方々は全員、商品を高く評価している」という主張は以下の論理式\begin{equation}
\forall x\in X:\left( \left( \left( P\left( x\right) \vee Q\left( x\right)
\right) \wedge R\left( x\right) \right) \rightarrow S\left( s\right) \right)
\tag{1}
\end{equation}として定式化され、「この商品を高く評価していない方もいる」という主張は以下の論理式\begin{equation}
\exists x\in X:\lnot S\left( s\right) \tag{2}
\end{equation}として定式化され、「他の世代の方もこの商品を購入している」という主張は以下の論理式\begin{equation}
\exists x\in X:\left( \lnot P\left( x\right) \wedge \lnot Q\left( x\right)
\wedge R\left( x\right) \right) \tag{3}
\end{equation}として定式化されます。実態として、商品を購入しているのは20代または30代の人だけで、購入者はいずれも商品を高く評価しているものとします。ただ、20代または30代の中には商品を購入していない人がおり、その人は商品を高く評価しようがありません。このような解釈において、\(\left( 1\right) \)と\(\left( 2\right) \)は真である一方、\(\left( 3\right) \)は偽となります。

次回からは恒真式について学びます。

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

プレミアム会員になると、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。プレミアム会員の方は以下からログインしてください。

会員登録 | パスワードを忘れましたか?

有料のプレミアム会員になると、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

本サイトは MathJax を実装しているため、コメント文中で LaTex コマンドを利用することで美しい数式を入力できます。その際、インライン数式は\(数式\)で、ディスプレイ数式は$$数式$$という形式でそれぞれ入力してください。 例えば、\(ax^{2}+bx+c=0\)と入力すると\(ax^{2}+bx+c=0\)と表示され、$$ax^{2}+bx+c=0$$と入力すると$$ax^{2}+bx+c=0$$と表示されます。MathJax(LaTex)の文法については次のサイト( https://easy-copy-mathjax.xxxx7.com )などを参照してください。 紙に手書きした数式や図をカメラやスマホで撮影した上で、コメント欄に張り付けることもできます。その場合、コメント入力欄にある「ファイルを選択」ボタンをクリックした上で画像をアップロードしてください。アップロード可能な画像フォーマットは jpg, gif, png の 3 種類、ファイルサイズの上限は 5 MB です。PDF ファイルの添付も可能です。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

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

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