連言導入
論理式\(A,B\)をそれぞれ任意に選ぶと、論理積および含意の定義より以下の真理値表が得られます。
$$\begin{array}{cccc}\hline
A & B & A\wedge B & \left( A\wedge B\right) \rightarrow \left( A\wedge B\right) \\ \hline
1 & 1 & 1 & 1 \\ \hline
1 & 0 & 0 & 1 \\ \hline
0 & 1 & 0 & 1 \\ \hline
0 & 0 & 0 & 1 \\ \hline
\end{array}$$
上の真理値表より、任意の解釈において\(\left( A\wedge B\right) \rightarrow \left( A\wedge B\right) \)の値が\(1\)であることが確認できるため、以下の推論規則\begin{equation*}A,B\ \models \ A\wedge B
\end{equation*}を得ます。つまり、\(A\)と\(B\)がともに真であるような任意の解釈において\(A\wedge B\)は必ず真になります。以上の推論規則を連言導入（conjunction introduction）や\(\wedge \)導入（\(\wedge \) introduction）などと呼びます。
\end{equation*}が成り立つ。
&&\text{今日は日曜日である。} \\
&&\text{今日は私は仕事が休みだ。} \\
&&\text{ゆえに、今日は日曜日であるとともに私は仕事が休みだ。}
\end{eqnarray*}命題変数\(P,Q\)を、\begin{eqnarray*}P &:&\text{今日は日曜日である} \\
Q &:&\text{私は仕事が休みだ}
\end{eqnarray*}とおくと、先の推論は、\begin{equation*}
P,\ Q\ \therefore \ P\wedge Q
\end{equation*}と定式化されます。連言導入よりこれは妥当な推論です。つまり、\begin{equation}
P,\ Q\ \models \ P\wedge Q \quad \cdots (1)
\end{equation}が成り立つということです。これは\(P\)と\(Q\)が真であるような状況において\(P\wedge Q\)が必ず真になることを意味します。では、上の推論の結論に相当する「今日は日曜であるとともに仕事が休み」が偽である場合には何が起きているでしょうか。つまり、\(P\wedge Q\)が偽である場合について考えるということです。推論規則\(\left( 1\right) \)が成り立つことを踏まえると、推論の結論である\(P\wedge Q\)が偽である場合、推論の前提である\(P\)と\(Q\)の少なくとも一方が偽になります。つまり、「今日は日曜であるとともに仕事が休み」が偽である場合には「今日は日曜日ではない」か、または「仕事が休みではない」ということになります。
\end{equation*}について考えます。\(A\rightarrow B\)と\(A\rightarrow C\)と\(A\)がいずれも真であるものとします。\(A\)と\(A\rightarrow B\)が真であるとき、含意除去より\(B\)は真です。また、\(A\)と\(A\rightarrow C\)が真であるとき、含意除去より\(C\)は真です。\(B\)と\(C\)が真であるため、連言導入より\(B\wedge C\)は真であるため、先の推論が妥当であることが示されました。つまり、\begin{equation*}A\rightarrow B,\ A\rightarrow C,\ A\ \models \ B\wedge C
\end{equation*}が成り立ちます。
連言導入の一般化
連言導入は以下のような形で一般化可能です。
\end{equation*}が成り立つ。
上の命題において\(n=2\)の場合には、\begin{equation*}A_{1},A_{2}\ \models \ A_{1}\wedge A_{2}
\end{equation*}となりますが、これは先に示した連言導入に他なりません。
C\wedge D
\end{equation*}について考えます。\(A\rightarrow B\)と\(A\rightarrow C\)と\(A\rightarrow D\)と\(A\)がいずれも真であるものとします。\(A\)と\(A\rightarrow B\)が真であるとき、含意除去より\(B\)は真です。同様に、\(A\)と\(A\rightarrow C\)から\(C\)が、\(A\)と\(A\rightarrow D\)から\(D\)がそれぞれ含意除去より導かれます。\(B,C,D\)が真であるため、連言導入より\(B\wedge C\wedge D\)は真であるため、先の推論が妥当であることが示されました。つまり、\begin{equation*}A\rightarrow B,\ A\rightarrow C,\ A\rightarrow D,\ A\ \models \ B\wedge
C\wedge D
\end{equation*}が成り立ちます。
演習問題
\end{equation*}が成り立つという推論規則です。本文中では連言導入が成り立つことを真理値表を用いて示しましたが、同じことを同値変形で示してください。
\end{equation*}が成り立つことを同値変形を通じて示しましたが、同じことを\(n\)に関する数学的帰納法で示してください。
\end{equation*}が成り立つことを示してください。
次回は選言除去と呼ばれる推論規則について学びます。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】