WIIS

述語論理

述語論理における構成的ジレンマ

目次

Mailで保存
Xで共有

構成的ジレンマ

論理式\(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 \)が偽であることと矛盾するからです。

例(構成的ジレンマ)
命題関数\(P\left( x\right) ,Q\left( x\right) ,R\left(x\right) ,S\left( x\right) \)を任意に選びます。命題関数は論理式であるため、構成的ジレンマより、\begin{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) \
\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つが偽であることを意味します。

関連知識

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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