教材一覧
PROPOSITIONAL LOGIC

命題論理における含意

Share on twitter
Twitterで共有
Share on email
メールで共有

論理式の含意

論理式の定義より、論理式\(A,B\)に論理演算子\(\rightarrow \)を作用させることで得られる\(A\rightarrow B\)もまた論理式です。\(\rightarrow \)は含意(implication)と呼ばれる論理演算子であり、論理式\(A\rightarrow B\)を\(A\)から\(B\)への含意(implication from \(A\) to \(B\))や\(A\)ならば\(B\)(if \(A\) then \(B\))などと呼びます。\(A\rightarrow B\)を構成する\(A\)を前件(antecedent)や前提(premise)、仮定(assumption)などと呼び、\(B\)を後件(consequent)や結論(conclusion)などと呼びます。

例(含意)
命題変数\(P,Q\)を、\begin{eqnarray*}
P &:&\text{彼はこの事件の犯人である} \\
Q &:&\text{彼は犯行時刻に現場にいた}
\end{eqnarray*}とおくと、「彼がこの事件の犯人ならば、犯行時刻に現場にいたはずである」という主張は\(P\rightarrow Q\)として、「彼は犯行時刻に現場にいたため、この事件の犯人である」という主張は\(Q\rightarrow P\)としてそれぞれ定式化されます。
例(含意)
「もし雨が降り、私が傘を持っていなければ、私は雨に濡れる」を定式化します。命題変数\(P,Q,R\)をそれぞれ、\begin{eqnarray*}
P &:&\text{雨が降る} \\
Q &:&\text{私は傘を持っていく} \\
R &:&\text{私は雨に濡れる}
\end{eqnarray*}とおくと、与えられた言明は、\begin{equation*}
P\wedge \lnot Q\ \rightarrow \ R
\end{equation*}と定式化されます。
例(含意)
命題変数\(P,Q,R\)を、\begin{eqnarray*}
P &:&\text{加藤は明日来る} \\
Q &:&\text{高橋は明日来る} \\
R &:&\text{鈴木は明日来る}
\end{eqnarray*}とおくと、「明日、加藤が来るならば、高橋と鈴木も来る」という主張は\(P\rightarrow \left( Q\wedge R\right) \)として、「明日、高橋と鈴木が来ないなら、加藤は来る」という主張は\(\left( \lnot Q\wedge \lnot R\right) \rightarrow P\)として、また、「明日、加藤が来ないなら高橋が来るが、加藤が来るなら鈴木が来ない」という主張は\(\left( \lnot P\rightarrow Q\right) \wedge \left( P\rightarrow \lnot R\right) \)としてそれぞれ定式化されます。

 

含意の値

含意\(A\rightarrow B\)の値は\(A\)と\(B\)の値に依存しますが、その対応規則を以下の真理値表に定めます。つまり、含意\(\rightarrow \)は入力された論理式\(A,B\)に対して、\(A\)と\(B\)の値がともに\(1\)である場合には\(1\)を値としてとり、\(A\)の値が\(0\)の場合には\(B\)の値によらず常に\(1\)を値としてとる論理式\(A\rightarrow B\)を出力する論理演算です。
$$\begin{array}{ccc}
\hline
A & B & A\rightarrow B \\ \hline
1 & 1 & 1 \\ \hline
1 & 0 & 0 \\ \hline
0 & 1 & 1 \\ \hline
0 & 0 & 1 \\ \hline
\end{array}$$

表:含意の値

論理式の定義より、命題変数\(P\)や命題定数\(T,F\)もまた論理式であるため、これらもまた\(\rightarrow \)を作用させる対象となり得ます。\(P,T,F\)とそれらの含意の真理値の対応規則は以下の真理値表の通りです。

$$\begin{array}{ccccccccc}
\hline
P & T & F & P\rightarrow T & T\rightarrow P & P\rightarrow F & F\rightarrow P & T\rightarrow F & F\rightarrow T \\ \hline
1 & 1 & 0 & 1 & 1 & 0 & 1 & 0 & 1 \\ \hline
0 & 1 & 0 & 1 & 0 & 1 & 1 & 0 & 1 \\ \hline
\end{array}$$

表:含意の値
例(含意の値)
命題変数\(P,Q\)が与えられたとき、その含意\(P\rightarrow Q\)は論理式であるため、さらにそれと命題変数\(R\)の含意\(\left( P\rightarrow Q\right) \rightarrow R\)もまた論理式です。それらの真理値について、

$$\begin{array}{ccccc}
\hline
P & Q & R & P\rightarrow Q & \left( P\rightarrow Q\right) \rightarrow R \\ \hline
1 & 1 & 1 & 1 & 1 \\ \hline
1 & 1 & 0 & 1 & 0 \\ \hline
1 & 0 & 1 & 0 & 1 \\ \hline
1 & 0 & 0 & 0 & 1 \\ \hline
0 & 1 & 1 & 1 & 1 \\ \hline
0 & 1 & 0 & 1 & 0 \\ \hline
0 & 0 & 1 & 1 & 1 \\ \hline
0 & 0 & 0 & 1 & 0 \\ \hline
\end{array}$$

表:含意の値

という関係が成り立ちます。

例(含意の値)
命題変数\(P,Q\)が与えられたとき、否定\(\lnot \)や含意\(\rightarrow \)の定義より、\(P\rightarrow Q\)や\(\lnot P\rightarrow Q\)や\(P\rightarrow \lnot Q\)はいずれも論理式であり、それらの真理値について、

$$\begin{array}{ccccccc}
\hline
P & Q & \lnot P & \lnot Q & P\rightarrow Q & \lnot P\rightarrow Q & P\rightarrow \lnot Q \\ \hline
1 & 1 & 0 & 0 & 1 & 1 & 0 \\ \hline
1 & 0 & 0 & 1 & 0 & 1 & 1 \\ \hline
0 & 1 & 1 & 0 & 1 & 1 & 0 \\ \hline
0 & 0 & 1 & 1 & 1 & 0 & 0 \\ \hline
\end{array}$$

表:含意の値

という関係が成り立ちます。

例(含意の値)
命題変数\(P,Q,R\)が与えられたとき、否定\(\lnot \)や論理積\(\wedge \)、含意\(\rightarrow \)の定義より、\(\left( \lnot P\wedge Q\right) \rightarrow \lnot R\)は論理式であり、その真理値について、

$$\begin{array}{ccccccc}
\hline
P & Q & R & \lnot P & \lnot R & \lnot P\wedge Q & \left( \lnot P\wedge Q\right) \rightarrow \lnot R \\ \hline
1 & 1 & 1 & 0 & 0 & 0 & 1 \\ \hline
1 & 1 & 0 & 0 & 1 & 0 & 1 \\ \hline
1 & 0 & 1 & 0 & 0 & 0 & 1 \\ \hline
1 & 0 & 0 & 0 & 1 & 0 & 1 \\ \hline
0 & 1 & 1 & 1 & 0 & 1 & 0 \\ \hline
0 & 1 & 0 & 1 & 1 & 1 & 1 \\ \hline
0 & 0 & 1 & 1 & 0 & 0 & 1 \\ \hline
0 & 0 & 0 & 1 & 1 & 0 & 1 \\ \hline
\end{array}$$

表:含意の値

という関係が成り立ちます。

 

含意の日常的な用法

日常生活において「\(A\)ならば\(B\)」と言うときには、\(A\)と\(B\)の間には何らかの意味上の関連性があります。例えば、「明日雨が降るならば、私は傘を持っていく」と言うとき、「明日雨が降る」ことと「私は傘を持っていく」ことの間には意味上の関連があります。\(A\)と\(B\)の間に意味上の関連がない場合には、我々は違和感を持ちます。例えば、「明日雨が降るならば、彼の身長は\(180\mathrm{cm}\)よりも低い」と言われても困惑してしまいます。一方、命題論理における含意\(A\rightarrow B\)では、\(A\)と\(B\)の意味上の関連性については何も問いません。\(A\)と\(B\)が論理式であれば、それが具体的に何に関する言及であっても、\(A\rightarrow B\)は論理式として認められます。

日常生活において「\(A\)ならば\(B\)」と言う場合には、多くの場合、原因\(A\)が結論\(B\)よりも時間的に先行する表現になっています。例えば、「雨が降るなら傘を持っていく」という表現は、雨が降るという原因が先に起こり、傘を持っていくという結論が後に起こる構造になっています。一般に、原因\(A\)が結論\(B\)よりも時間的に先行する場合には、両者の関係を因果関係(causal relationship)と呼び、因果関係を表す\(A\rightarrow B\)を因果命題(causal proposition)と呼びます。日常生活における「ならば」は、多くの場合には因果関係を示しています。一方、数学における含意は因果関係に限定されず、時間的な前後関係が成立しない\(A,B\)に対しても論理式\(A\rightarrow B\)を構成します。

日常的に使われる「ならば」の意味を、命題論理における含意の定義と整合的な形で以下のように解釈できます。ある人の「明日雨が降るなら傘を持っていく」という発言を論理式\(A\rightarrow B\)とみなした上で、含意の定義である以下の真理値表を再び観察しましょう。

$$\begin{array}{ccc}
\hline
A & B & A\rightarrow B \\ \hline
1 & 1 & 1 \\ \hline
1 & 0 & 0 \\ \hline
0 & 1 & 1 \\ \hline
0 & 0 & 1 \\ \hline
\end{array}$$

表:含意の値

真理値表の 1 行目は、雨が振り、かつ、この人が傘を持参する場合には、この人の発言は嘘とはみなされないこととして解釈可能です。これは実際に正しい言明です。真理値表の 2 行目は、雨が降り、かつ、この人が傘を持参しない場合には、この人の発言は嘘とみなされることとして解釈可能です。これも実際に正しい言明です。真理値表の 3 行目と 4 行目は、雨が降らなかった場合には、この人が傘を持っていくかどうかに関わらず、この人の発言は嘘とはみなされないこととして解釈します。実際、この人の発言は雨が降った場合のことについてのみ言及しており、雨が降らなかった場合については何も言っていません。したがって、雨が降らなかった場合には、この人が傘を持っていくかどうかにかかわらず、この人は嘘をついたことにはなりません。

 

含意と否定・論理和の関係

論理式\(A,B\)を任意に選んだとき、以下の真理値表を得ます。

$$\begin{array}{cccc}
\hline
A & B & A\rightarrow B & \lnot A\vee B \\ \hline
1 & 1 & 1 & 1 \\ \hline
1 & 0 & 0 & 0 \\ \hline
0 & 1 & 1 & 1 \\ \hline
0 & 0 & 1 & 1 \\ \hline
\end{array}$$

表:含意

上の真理値表より、含意\(A\rightarrow B\)の値は論理式\(\lnot A\vee B\)の値と常に一致します。この事実は、含意\(\rightarrow\)は否定\(\lnot \)と論理和\(\vee \)から間接的に定義可能であることを意味します。したがって、否定と論理和さえ定義されていれば、含意を新たな論理演算として定義する必要はありません。とは言え、含意を独立した論理演算として定義しておくと何かと便利ですので、本稿ではこのまま\(\rightarrow \)を採用します。

 

演習問題

問題(論理式の定式化)
命題変数\(P,Q,R\)をそれぞれ、\begin{eqnarray*}P &:&\text{妻は幸せである} \\
Q &:&\text{妻はショッピングをする} \\
R &:&\text{夫は幸せである}
\end{eqnarray*}とおきます。このとき、以下の主張をそれぞれ論理式として定式化してください。
  1. 妻が幸せで、なおかつショッピングをしないならば、夫は幸せである
  2. 妻が幸せでないならば、彼女はショッピングをする
  3. 妻が幸せなのはショッピングするときだけだ
解答を見る

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

問題(論理和の意味)
「試験に受かれば単位がもらえる」という言明を題材に、日常における「ならば」と、数学における「ならば」のニュアンスの違い説明してください。
解答を見る

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

問題(含意)
以下の真理値表を完成させてください。

$$\begin{array}{ccccc}
\hline
P & Q & F & F\vee Q & P\rightarrow F\vee Q \\ \hline
1 & 1 & 0 & & \\ \hline
1 & 0 & 0 & & \\ \hline
0 & 1 & 0 & & \\ \hline
0 & 0 & 0 & & \\ \hline
\end{array}$$

表:真理値表
解答を見る

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

問題(論理式の解釈)
以下の真理値表を完成させてください。

$$\begin{array}{ccccccc}
\hline
P & Q & R & P\wedge Q & \lnot \left( P\wedge Q\right) & \lnot R
& \lnot \left( P\wedge Q\right) \vee \lnot R \\ \hline
1 & 1 & 1 & & & & \\ \hline
1 & 1 & 0 & & & & \\ \hline
1 & 0 & 1 & & & & \\ \hline
1 & 0 & 0 & & & & \\ \hline
0 & 1 & 1 & & & & \\ \hline
0 & 1 & 0 & & & & \\ \hline
0 & 0 & 1 & & & & \\ \hline
0 & 0 & 0 & & & & \\ \hline
\end{array}$$

表:真理値表
解答を見る

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

問題(論理式の解釈)
命題変数\(P,Q,R\)に関する、\begin{equation*}
\left( P,Q,R\right) =\left( 0,1,1\right)
\end{equation*}という解釈のもとで、以下の論理式の値が\(0\)と\(1\)のどちらであるかそれぞれ明らかにしてください。
  1. \(\left( P\rightarrow Q\right) \vee \lnot \left( R\wedge Q\right) \)
  2. \(\left( \lnot P\vee \lnot Q\right) \rightarrow \left( P\vee \lnot R\right) \)
  3. \(\lnot \left( \lnot P\rightarrow \lnot Q\right) \wedge R\)
  4. \(\lnot \left( \lnot P\rightarrow Q\wedge \lnot R\right) \)
解答を見る

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

次回は同等の解釈について学びます。

Share on twitter
Twitterで共有
Share on email
メールで共有
RELATED KNOWLEDGE

関連知識

必要・十分条件

命題論理における必要十分条件

論理式 A,B に関して同等 A↔B が恒真式であるならば、A と B は論理的に同値であると言います。またこのとき、A と B はお互いに一方が他方であるための必要十分条件であると言います。

含意

述語論理における含意

論理式 A,B に論理演算子 → を作用させることで得られる A→B もまた論理式です。→ は含意と呼ばれる論理演算子であり、論理式 A→B を A から B への含意と呼びます。

同等

論理演算の言い換え

含意、同等、排他的論理和はいずれも否定、論理積、論理和を用いて間接的に定義可能です。

必要・十分条件

述語論理における必要条件と十分条件

論理式 A,B に関する含意 A→B が恒真式であるとき、つまり、任意の解釈において A→B から得られる命題が真であるならば、B は A であるための必要条件であると言い、A は B であるための必要条件であると言います。

必要・十分条件

述語論理における必要十分条件

論理式 A,B について A↔B が恒真式であるならば、すなわち、任意の解釈のもとで A↔B の値が 1 であるならば、A と B はお互いに一方が他方であるための必要十分条件であると言います。

DISCUSSION

質問とコメント

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

命題論理