構成的ジレンマ
論理式\(A,B,C,D\)を任意に選んだとき、以下の推論規則\begin{equation*}A\rightarrow B,\ C\rightarrow D,\ A\vee C\ \models \ B\vee D
\end{equation*}が成り立ちます。つまり、\(A\rightarrow B\)と\(C\rightarrow D\)と\(A\vee C\)がいずれも真であるような任意の解釈のもとで\(B\vee D\)は必ず真になります。これは構成的ジレンマ(constructive dilemma)と呼ばれる推論規則です。
論理式\(A,B,C,D\)を任意に選んだとき、\begin{equation*}A\rightarrow B,\ C\rightarrow D,\ A\vee C\ \models \ B\vee D
\end{equation*}が成り立つ。
構成的ジレンマ\begin{equation}
A\rightarrow B,\ C\rightarrow D,\ A\vee C\ \models \ B\vee D \quad \cdots (1)
\end{equation}は推論規則であるため、\(\left( 1\right) \)を構成する\(A,B,C,D\)にそれぞれどのような具体的な論理式\(\alpha ,\beta ,\psi ,\delta \)を入れた場合においても、\begin{equation*}\alpha \rightarrow \beta ,\ \psi \rightarrow \delta ,\ \alpha \vee \psi \
\models \ \beta \vee \delta
\end{equation*}が成り立ちます。つまり、\(\alpha \rightarrow \beta \)と\(\psi \rightarrow\delta \)と\(\alpha \vee \psi \)が真である場合には\(\beta \vee \delta \)は真になります。同時に、\(\beta \vee \delta \)が偽である場合には、\(\alpha \rightarrow \beta \)または\(\psi \rightarrow \delta \)または\(\alpha \vee \psi \)の中の少なくとも1つが偽になることが保証されます。なぜなら、仮にこれらがすべて真である場合、構成的ジレンマ\(\left( 1\right) \)より\(\beta \vee \delta \)が真であることが導き出されますが、これは\(\beta \vee \delta \)が偽であることと矛盾するからです。
\rightarrow S\left( x\right) ,\ P\left( x\right) \vee R\left( x\right) \
\models \ Q\left( x\right) \vee S\left( x\right)
\end{equation*}が成り立ちます。つまり、\(P\left( x\right) \rightarrow Q\left( x\right) \)と\(R\left( x\right) \rightarrow S\left( x\right) \)と\(P\left(x\right) \vee R\left( x\right) \)がいずれも真である場合には\(Q\left(x\right) \vee S\left( x\right) \)は真になります。同時にこれは、\(Q\left( x\right) \vee S\left( x\right) \)が偽である場合には\(P\left( x\right)\rightarrow Q\left( x\right) \)または\(R\left( x\right)\rightarrow S\left( x\right) \)または\(P\left( x\right) \vee R\left( x\right) \)の中の少なくとも1つが偽であることを意味します。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】