WIIS

述語論理

存在命題の解釈

目次

Mailで保存
Xで共有

存在命題

論理式の定義より、論理式\(A\)と変数\(x\in X\)に対して量化記号\(\exists \)を作用させることで得られる、\begin{equation}\exists x\in X\ A \quad \cdots (1)
\end{equation}もまた論理式です。\(\exists \)は存在記号(existential quantifier)と呼ばれる量化記号であり、存在記号を作用させることにより得られる論理式\(\left( 1\right) \)を存在命題(existential propositioin)と呼びます。これは「\(A\)であるような値\(x\)\(X\)の中に存在する(there exists \(x\) in \(X\) such that \(A\))」や「\(X\)のある値\(x\)について\(A\)(for some \(x\) in \(X\), \(A\))」などの表現に対応する論理式です。存在命題\(\left( 1\right) \)において変数\(x\)の定義域\(X\)が文脈から明らかであるとき、それを省略して、\begin{equation*}\exists x\ A
\end{equation*}と表記できるものとします。また、見やすさを考慮して、\(\left(1\right) \)を、\begin{equation*}\exists x\in X:A
\end{equation*}と表記できるものとします。

例(存在命題)
「\(1\)に足すと\(0\)になるような整数が存在する」という主張をどのような論理式として定式化できるでしょうか。まず、「\(1\)に整数\(x\)を足すと\(0\)になる」という主張は、すべての整数からなる集合\(\mathbb{Z} \)を定義域とする変数\(x\)を用いて、\begin{equation}1+x=0 \quad \cdots (1)
\end{equation}と表現できます。もとの主張は「\(\left( 1\right) \)を満たす整数\(x\)が存在する」という主張に相当するため、それを、\begin{equation*}\exists x\in \mathbb{Z} :1+x=0
\end{equation*}と表現できます。

例(存在命題)
「偶数ではない整数が存在する」という主張をどのような論理式として定式化できるでしょうか。まず、「整数\(x\)は偶数でない」という主張は、すべての整数からなる集合\(\mathbb{Z} \)を定義域とする変数\(x\)を用いて、\begin{equation}\lnot \left( x\text{は偶数である}\right)
\quad \cdots (1)
\end{equation}と表現できます。もとの主張は「\(\left( 1\right) \)を満たす整数\(x\)が存在する」という主張に相当するため、それを、\begin{equation*}\exists x\in \mathbb{Z} :\lnot \left( x\text{は偶数である}\right)
\end{equation*}と表現できます。

例(存在命題)
「任意の実数は平方根を持つ」という主張をどのような論理式として定式化できるでしょうか。すべての実数からなる集合を\(\mathbb{R} \)で表記します。ある実数\(\overline{x}\in \mathbb{R} \)に注目したとき、この\(\overline{x}\)が平方根を持つという主張は、\begin{equation*}\exists y\in \mathbb{R} :\overline{x}=y^{2}
\end{equation*}と表現できます。もとの主張は「\(\left( 1\right) \)が特定の実数\(\overline{x}\)についてだけでなく、任意の実数\(x\in \mathbb{R} \)について成立する」という主張に相当するため、それは、\begin{equation*}\forall x\in \mathbb{R} :\left( \exists y\in \mathbb{R} :x=y^{2}\right)
\end{equation*}と定式化されます。

例(存在命題)
「加藤さんが持っているモノの中に鈴木さんが持っていないモノがある」とう主張をどのような論理式として定式化できるでしょうか。まず、「加藤さんが\(y\)を持っている一方で鈴木さんは\(y\)を持っていない」という主張は、すべてのモノからなる集合\(Y\)を定義域とする変数\(y\)を用いて、\begin{equation}\text{加藤は}y\text{を持っている}\wedge \lnot \left( \text{鈴木は}y\text{を持っている}\right) \quad \cdots (1)
\end{equation}と表現できます。もとの主張は「\(\left( 1\right) \)を満たすモノ\(y\)が存在する」という主張に相当するため、それを、\begin{equation*}\exists y\in Y:\left( \text{加藤は}y\text{を持っている}\wedge \lnot \left( \text{鈴木は}y\text{を持っている}\right)
\right)
\end{equation*}と表現できます。一方、「車とバイクの両方を持っている人がいる」という主張は、すべての人からなる集合\(X\)を定義域とする変数\(x\)を用いて、\begin{equation*}\exists x\in X:\left( x\text{は車を持っている}\wedge x\text{はバイクを持っている}\right)
\end{equation*}と定式化されます。

例(存在命題)
「この町のすべての住人はそれぞれ、町内に知り合いではない人がいる」という主張をどのような論理式として定式化できるでしょうか。問題としている町のすべての住人からなる集合を\(X\)で表記します。ある住人\(\overline{x}\in X\)に注目したとき、この人と知り合いではない人が町内にいるという主張は、\begin{equation*}\exists y\in X:\lnot \left( \overline{x}\text{は}y\text{と知り合い}\right)
\end{equation*}と定式化されます。もとの主張は「\(\left( 1\right) \)が特定の住人\(\overline{x}\)についてだけではなく、任意の住人\(x\in X\)について成立する」という主張に相当するため、それは、\begin{equation*}\forall x\in X:\left( \exists y\in X:\lnot \left( x\text{は}y\text{と知り合い}\right) \right)
\end{equation*}と定式化されます。

 

開論理式に関する存在命題の解釈

論理式\(A\)が変数\(x\)の自由な現れを持つ開論理式\(A\left( x\right) \)であるものとします。このとき、変数\(x\)に関する存在命題\begin{equation}\exists x\in X:A\left( x\right) \quad \cdots (1)
\end{equation}を、変数の自由な現れを持たない閉論理式であるものと定めた上で、これを以下の論理和\begin{equation}
\bigvee\limits_{x\in X}A\left( x\right) \quad \cdots (2)
\end{equation}と同一視します。閉論理式の値を特定するためには「解釈」に相当する以下の2つの要素\begin{eqnarray*}
&&\left( a\right) \ \text{議論領域} \\
&&\left( b\right) \ \text{論理式}A\text{を構成するすべての命題関数の形状}
\end{eqnarray*}を具体的に特定する必要がありますが、解釈を任意に選んだとき、\(\left( 1\right) \)から得られる命題と\(\left( 2\right) \)から得られる命題の真理値が常に一致するものと定めるということです。

例(存在命題の解釈)
「\(x^{2}=2\)を満たす実数\(x\)が存在する」という主張について考えます。すべての実数からなる集合\(\mathbb{R} \)を定義域とする変数\(x\)を用いると、先の主張は、\begin{equation}\exists x\in \mathbb{R} :x^{2}=2 \quad \cdots (1)
\end{equation}と定式化されます。存在命題の定義より、これは以下の論理式\begin{equation}
\bigvee\limits_{x\in \mathbb{R} }\left( x^{2}=2\right) \quad \cdots (2)
\end{equation}と同一視されます。実数\(\sqrt{2}\in \mathbb{R} \)について、\begin{equation*}\left( \sqrt{2}\right) ^{2}=2
\end{equation*}は真であるため、論理和の定義より\(\left( 2\right) \)は真です。したがって、\(\left( 2\right) \)と同一視されるもとの主張\(\left( 1\right) \)もまた真です。
例(存在命題の解釈)
「\(x^{2}=2\)を満たす整数\(x\)が存在する」という主張について考えます。すべての整数からなる集合\(\mathbb{Z} \)を定義域とする変数\(x\)を用いると、先の主張は、\begin{equation}\exists x\in \mathbb{Z} :x^{2}=2 \quad \cdots (1)
\end{equation}と定式化されます。存在命題の定義より、これは以下の論理式\begin{equation}
\bigvee\limits_{x\in \mathbb{Z} }\left( x^{2}=2\right) \quad \cdots (2)
\end{equation}と同一視されます。整数\(x\in \mathbb{Z} \)を任意に選んだとき、\begin{equation*}x^{2}=2
\end{equation*}は偽であるため、論理和の定義より\(\left( 2\right) \)は偽です。したがって、\(\left( 2\right) \)と同一視されるもとの主張\(\left( 1\right) \)もまた偽です。
例(存在命題の解釈)
「出生地が日本ではない日本人が存在する」という主張について考えます。すべての人間からなる集合\(X\)を定義域とする変数\(x\)を用いると、先の主張は、\begin{equation}\exists x\in X:\left( \lnot \left( x\text{の出生地は日本}\right) \wedge x\text{は日本人}\right) \quad \cdots (1)
\end{equation}と定式化されます。存在命題の定義より、これは以下の論理式\begin{equation}
\bigvee\limits_{x\in X}\left( \lnot \left( x\text{の出生地は日本}\right) \wedge x\text{は日本人}\right) \quad \cdots (2)
\end{equation}と同一視されます。日本は出生地主義ではなく血統主義を採用しているため、出生地が日本ではない日本人が存在します。そのような人を\(\overline{x}\in X\)について、\begin{equation*}\lnot \left( \overline{x}\text{の出生地は日本}\right) \wedge \overline{x}\text{は日本人}
\end{equation*}は真であるため、論理和の定義より\(\left( 2\right) \)は真です。したがって、\(\left( 2\right) \)と同一視されるもとの主張\(\left( 1\right) \)もまた真です。

論理式\(A\)が変数\(x,y\)の自由な現れを持つ開論理式\(A\left( x,y\right) \)であるものとします。このとき、変数\(x\)に関する存在命題\begin{equation}\exists x\in X:A\left( x,y\right) \quad \cdots (1)
\end{equation}を、変数\(y\)の自由な現れを持つ開論理式とみなした上で、これを以下の論理和\begin{equation}\bigvee\limits_{x\in X}A\left( x,y\right) \quad \cdots (2)
\end{equation}と同一視します。開論理式の値を特定するためには「解釈」に相当する以下の3つの要素\begin{eqnarray*}
&&\left( a\right) \ \text{議論領域} \\
&&\left( b\right) \ \text{論理式}A\text{を構成するすべての命題関数の形状} \\
&&\left( c\right) \ \text{変数の自由な現れに代入する値}\overline{y}
\end{eqnarray*}を具体的に特定する必要がありますが、解釈を任意に選んだとき、\(\left( 1\right) \)から得られる命題と\(\left( 2\right) \)から得られる命題の真理値が常に一致するものと定めるということです。

ここでは話を論理式\(A\)が変数\(x,y\)の自由な現れを持つ開論理式\(A\left( x,y\right) \)である状況を想定した上で、そのうちの一方の変数\(x\)に関する存在命題\(\exists x\in X:A\left( x,y\right) \)をとりましたが、\(y\)に相当する変数の自由な現れが複数存在する場合にも同様に考えます。

例(存在命題の解釈)
変数\(x,y\)の定義域\(X,Y\)が、\begin{equation*}X=Y=\left\{ 1,2,3\right\}
\end{equation*}であるものとします。以下の存在命題\begin{equation*}
\exists x\in X:x<y
\end{equation*}は以下の論理式\begin{equation*}
\bigvee\limits_{x\in X}\left( x<y\right)
\end{equation*}すなわち、\begin{equation*}
1<y\vee 2<y\vee 3<y
\end{equation*}と同一視されます。これは変数\(y\)の自由な現れを持つ開論理式であり、真理集合は、\begin{equation*}\left\{ 2,3\right\}
\end{equation*}となります。

論理式\(A\)が変数\(x\)の自由な現れを持つ開論理式\(A\left( x\right) \)であるとき、\(A\)において自由な現れが存在しない変数\(y\in Y\)を任意に選んだ上で全称命題\begin{equation}\exists y\in Y:A\left( x\right) \quad \cdots (1)
\end{equation}を作ることができますが、これをもとの開論理式\begin{equation}
A\left( x\right) \quad \cdots (2)
\end{equation}と同一視します。開論理式の値を特定するためには「解釈」に相当する以下の3つの要素\begin{eqnarray*}
&&\left( a\right) \ \text{議論領域} \\
&&\left( b\right) \ \text{論理式}A\text{を構成するすべての命題関数の形状} \\
&&\left( c\right) \ \text{変数の自由な現れに代入する値}\overline{y}
\end{eqnarray*}を具体的に特定する必要がありますが、解釈を任意に選んだとき、\(\left( 1\right) \)から得られる命題と\(\left( 2\right) \)から得られる命題の真理値が常に一致するものと定めるということです。

例(存在命題の解釈)
命題関数\(P\left( x\right) \)は変数\(x \)の自由な現れを持つ開論理式です。このとき、\(x\)とは異なる変数\(y\)に注目した上で存在命題\begin{equation*}\exists y\in Y:P\left( x\right)
\end{equation*}を作ることができますが、これは\(P\left( x\right) \)と同一視されます。
例(存在命題の解釈)
命題関数\(P\left( x,y\right) \)は変数\(x,y\)の自由な現れを持つ開論理式です。このとき、\(x\)に関する存在命題\begin{equation}\exists x\in X:P\left( x,y\right) \quad \cdots (1)
\end{equation}は変数\(y\)の自由な現れを持つ開論理式であり、変数\(x\)の自由な現れを持ちません。したがって、以下の存在命題\begin{equation*}\exists x\in X,\ \exists x\in X:P\left( x,y\right)
\end{equation*}は\(\left( 1\right) \)と同一視されます。

 

閉論理式に関する存在命題の解釈

論理式\(A\)が閉論理式であるとき、すなわち変数の自由な現れを持たない場合にも、変数\(x\in X\)を任意に選んだ上で存在命題\begin{equation}\exists x\in X:A \quad \cdots (1)
\end{equation}を作ることができますが、これをもとの閉論理式\begin{equation}
A \quad \cdots (2)
\end{equation}と同一視します。閉論理式の値を特定するためには「解釈」に相当する以下の2つの要素\begin{eqnarray*}
&&\left( a\right) \ \text{議論領域} \\
&&\left( b\right) \ \text{論理式}A\text{を構成するすべての命題関数の形状}
\end{eqnarray*}を具体的に特定する必要がありますが、解釈を任意に選んだとき、\(\left( 1\right) \)から得られる命題と\(\left( 2\right) \)から得られる命題の真理値が常に一致するものと定めるということです。

例(存在命題の解釈)
命題関数\(P\left( x\right) \)は変数\(x \)の自由な現れを持つ開論理式です。このとき、\(x\)に関する存在命題\begin{equation}\exists x\in X:P\left( x\right) \quad \cdots (1)
\end{equation}は変数の自由な現れを持たない閉論理式です。したがって、以下の存在命題\begin{equation*}
\exists x\in X,\ \exists x\in X:P\left( x\right)
\end{equation*}は\(\left( 1\right) \)と同一視されます。同様に、\begin{equation*}\exists y\in Y,\ \exists x\in X:P\left( x\right)
\end{equation*}もまた\(\left( 1\right) \)と同一視されます。

 

演習問題

問題(存在命題)
以下の主張\begin{equation*}
\text{クラスの中に宿題をやらなかった生徒がいる}
\end{equation*}を論理式として定式化してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(存在命題)
以下の主張\begin{equation*}
\text{完璧な人間は存在しない}
\end{equation*}を論理式として定式化してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(存在命題)
以下の主張\begin{equation*}
\text{学生の中には誰かと結婚している人がいる}
\end{equation*}を論理式として定式化してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(存在命題)
以下の主張\begin{equation*}
\text{誰かの親であるような人は必ず誰かと結婚している}
\end{equation*}を論理式として定式化してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(存在命題)
以下の主張\begin{equation*}
\text{天然痘患者に接触した人はもれなく隔離対象となる}
\end{equation*}を論理式として定式化してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(量化記号の運用)
以下の主張\begin{eqnarray*}
&&\left( a\right) \ \text{どの犬も、何らかの猫のことが好きである} \\
&&\left( b\right) \ \text{どの犬も、何らかの猫によって好かれる}
\end{eqnarray*}を論理式として定式化してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(存在命題)
変数\(x\)の定義域\(X\)はすべての犬からなる集合であるとともに、命題関数\(P\left( x\right) \)を、\begin{equation*}P\left( x\right) :x\text{は危険である}
\end{equation*}と定義します。以下の論理式を日常言語で表現してください。

  1. \(\forall x\in X:P\left( x\right) \)
  2. \(\exists x\in X:P\left( x\right) \)
  3. \(\lnot \left( \exists x\in X:P\left( x\right) \right) \)
  4. \(\exists x\in X:\lnot P\left( x\right) \)
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(存在命題)
変数\(x,y\)の定義域はいずれもすべての自然数からなる集合\(\mathbb{N} \)であるものとします。さらに命題関数\(P\left(x,y\right) \)を、\begin{equation*}x\cdot y=12
\end{equation*}と定義します。以下のそれぞれの論理式について、それが開論理式である場合には真理集合を明らかにし、閉論理式である場合には真理値を明らかにしてください。

  1. \(\exists x\in \mathbb{N} ,\ \exists y\in \mathbb{N} :\left( P\left( x,y\right) \rightarrow P\left( y,x\right) \right) \)
  2. \(\exists x\in \mathbb{N} ,\ \exists y\in \mathbb{N} :P\left( x,y\right) \)
  3. \(\forall x\in \mathbb{N} ,\ \exists y\in \mathbb{N} :P\left( x,y\right) \)
  4. \(\exists x\in \mathbb{N} ,\ \forall y\in \mathbb{N} :P\left( x,y\right) \)
  5. \(\exists x\in \mathbb{N} :P\left( x,y\right) \)
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(存在命題)
変数\(x,y\)の定義域はいずれもすべての自然数からなる集合\(\mathbb{N} \)であるものとします。以下の論理式を解釈してください。

  1. \(\forall x\in \mathbb{N} ,\ \exists y\in \mathbb{N} :x<y\)
  2. \(\exists y\in \mathbb{N} ,\ \forall x\in \mathbb{N} :x<y\)
  3. \(\exists x\in \mathbb{N} ,\ \forall y\in \mathbb{N} :x<y\)
  4. \(\forall y\in \mathbb{N} ,\ \exists x\in \mathbb{N} :x<y\)
  5. \(\exists x\in \mathbb{N} ,\ \exists y\in \mathbb{N} :x<y\)
  6. \(\forall x\in \mathbb{N} ,\ \forall y\in \mathbb{N} :x<y\)
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

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

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

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

プレミアム会員専用コンテンツです
ログイン】【会員登録