WIIS

述語論理

述語論理における仮言三段論法

目次

Mailで保存
Xで共有

仮言三段論法

論理式\(A,B,C\)をそれぞれ任意に選んだときに、\begin{equation*}\left( A\rightarrow B\wedge B\rightarrow C\right) \Rightarrow A\rightarrow C
\end{equation*}が成り立つことが示されるため、ここから以下の推論規則を得ます。

命題(仮言三段論法)
任意の論理式\(A,B,C\)に対して、\begin{equation*}A\rightarrow B,\ B\rightarrow C\ \models \ A\rightarrow C
\end{equation*}が成り立つ。
証明

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

上の命題より、解釈を任意に選んだとき、\(A\rightarrow B\)から得られる命題と\(B\rightarrow C\)から得られる命題が真である場合、\(A\rightarrow C\)から得られる命題が真になることが保証されます。以上の推論規則を仮言三段論法(hypothetical syllogism)と呼びます。

例(仮言三段論法)
命題関数\(P\left( x\right) ,Q\left( x\right) ,R\left(x\right) \)をそれぞれ任意に選んだとき、仮言三段論法より、\begin{equation*}P\left( x\right) \rightarrow Q\left( x\right) ,\ Q\left( x\right)
\rightarrow R\left( x\right) \ \models \ P\left( x\right) \rightarrow
R\left( x\right)
\end{equation*}が成り立ちます。

例(仮言三段論法)
命題関数\(P\left( x\right) ,Q\left( x\right) ,R\left(x\right) \)をそれぞれ任意に選んだとき、仮言三段論法より、\begin{equation*}P\left( x\right) \rightarrow \lnot Q\left( x\right) ,\ \lnot Q\left(
x\right) \rightarrow R\left( x\right) \ \models \ P\left( x\right)
\rightarrow R\left( x\right)
\end{equation*}が成り立ちます。
例(仮言三段論法)
以下の推論について考えます。\begin{eqnarray*}
&&\text{任意の自然数は整数である} \\
&&\text{任意の整数は実数である} \\
&&\text{したがって、任意の自然数は実数である}
\end{eqnarray*}以下の命題関数\begin{eqnarray*}
P\left( x\right) &:&x\text{は自然数である} \\
Q\left( x\right) &:&x\text{は整数である}
\\
R\left( x\right) &:&x\text{は実数である}
\end{eqnarray*}を定義します。ただし、変数\(x\)の定義域はすべての実数からなる集合\(\mathbb{R} \)です。すると、先の推論は、\begin{eqnarray}\forall x &\in &\mathbb{R} :P\left( x\right) \rightarrow Q\left( x\right) \quad \cdots (1) \\
\forall x &\in &\mathbb{R} :Q\left( x\right) \rightarrow R\left( x\right) \quad \cdots (2) \\
&\therefore &\forall x\in \mathbb{R} :P\left( x\right) \rightarrow R\left( x\right) \quad \cdots (3)
\end{eqnarray}と定式化されます。推論の前提\(\left( 1\right) ,\left( 2\right) \)に全称除去を適用すると、\begin{eqnarray*}P\left( c\right) &\rightarrow &Q\left( c\right) \\
Q\left( c\right) &\rightarrow &R\left( c\right)
\end{eqnarray*}を得ます。これらに仮言三段論法を適用すると、\begin{equation*}
P\left( c\right) \rightarrow R\left( c\right)
\end{equation*}を得ます。さらにこれに全称導入を適用すると、\begin{equation*}
\forall x\in \mathbb{R} :P\left( x\right) \rightarrow R\left( x\right)
\end{equation*}を得ますが、これは\(\left( 3\right) \)に他なりません。したがって、推論が妥当であることが示されました。

 

演習問題

問題(仮言三段論法)
以下の推論が妥当であることを示してください。\begin{eqnarray*}
&&\text{本を沢山読む人は多くのことを知っている} \\
&&\text{多くのことを知っている人は軽率ではない} \\
&&\text{したがって、本を沢山読む人は軽率ではない}
\end{eqnarray*}
解答を見る

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

問題(仮言三段論法)
以下の推論が妥当であることを示してください。\begin{eqnarray*}
&&\text{本を読まない人は多くのことを知らない} \\
&&\text{多くのことを知らない人は軽率である} \\
&&\text{したがって、本を読まない人は軽率である}
\end{eqnarray*}
解答を見る

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

関連知識

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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