教材一覧
教材検索
PROPOSITIONAL LOGIC

命題論理における二重否定導入

目次

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

二重否定導入

論理式\(A\)を任意に選ぶと、否定および含意の定義より以下の真理値表が得られます。

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

表:二重否定導入

上の真理値表より、任意の解釈において\(A\rightarrow \lnot \lnot A\)の値が\(1\)であることが確認できるため、以下の推論規則\begin{equation*}A\ \models \ \lnot \lnot A
\end{equation*}を得ます。つまり、論理式\(A\)が真であるような任意の解釈においてその二重否定\(\lnot \lnot A\)は必ず真になります。この推論規則を二重否定導入(double negation introduction)と呼びます。

命題(二重否定導入)
任意の論理式\(A\)に対して、\begin{equation*}A\ \models \ \lnot \lnot A
\end{equation*}が成り立つ。

例(二重否定導入)
以下の推論について考えます。\begin{eqnarray*}
&&\text{今日は週末である。} \\
&&\text{ゆえに、週末でないことはない。}
\end{eqnarray*}命題変数\(P\)を、\begin{equation*}P:\text{今日は週末である}
\end{equation*}とおくと、先の推論は、\begin{equation*}
P\ \therefore \ \lnot \lnot P
\end{equation*}と定式化されます。二重否定導入よりこれは妥当な推論です。つまり、\begin{equation*}
P\ \models \ \lnot \lnot P
\end{equation*}が成り立つということです。これは\(P\)が真であるような状況において\(\lnot \lnot P\)が必ず真になることを意味します。
例(二重否定導入)
論理式\(A,B\)に関する以下の推論\begin{equation*}\lnot A\ \therefore \ A\vee B\rightarrow \lnot \lnot B
\end{equation*}について考えます。含意導入より、上の推論の妥当性を示す代わりに、以下の推論\begin{equation*}
\lnot A,\ A\vee B\ \therefore \ \lnot \lnot B
\end{equation*}の妥当性を示しても問題ありません。\(\lnot A\)と\(A\vee B\)がともに真であるものとします。\(\lnot A\)が真であるとき、\(A\)は偽です。また、\(A\vee B\)が真であるとき、\(A\)と\(B\)の少なくとも一方が真です。したがって、\(B\)が真であるため、二重否定導入より\(\lnot \lnot B\)は真であり、先の推論が妥当であることが示されました。つまり、\begin{equation*}\lnot A\ \models \ A\vee B\rightarrow \lnot \lnot B
\end{equation*}が成り立ちます。

 

二重否定導入の一般化

二重否定導入より、任意の論理式\(A\)について、\begin{equation*}A\ \models \ \lnot \lnot A
\end{equation*}が成り立ちます。そこで、\(A\)として論理式\(\lnot A\)を採用すれば、\begin{equation*}\lnot A\ \models \ \lnot \lnot \lnot A
\end{equation*}を得ますし、\(A\)として論理式\(\lnot \lnot \)を採用すれば、\begin{equation*}\lnot \lnot A\ \models \ \lnot \lnot \lnot \lnot A
\end{equation*}を得ます。以降についても同様です。

例(二重否定導入)
論理式\(A,B\)に関する以下の推論\begin{equation*}\lnot A\ \therefore \ \lnot \left( \lnot \left( A\vee B\right) \right)
\rightarrow \lnot \lnot \lnot \lnot B
\end{equation*}について考えます。含意導入より、上の推論の妥当性を示す代わりに、以下の推論\begin{equation*}
\lnot A,\ \lnot \left( \lnot \left( A\vee B\right) \right) \ \therefore \
\lnot \lnot \lnot \lnot B
\end{equation*}の妥当性を示しても問題ありません。\(\lnot A\)と\(\lnot \left( \lnot \left( A\vee B\right) \right) \)がともに真であるものとします。ド・モルガンの法則より、\begin{eqnarray*}\lnot \left( \lnot \left( A\vee B\right) \right) &\Leftrightarrow &\lnot
\left( \lnot A\wedge \lnot B\right) \\
&\Leftrightarrow &\lnot \lnot A\vee \lnot \lnot B
\end{eqnarray*}という同値変形が可能であるため、\(\lnot \left( \lnot\left( A\vee B\right) \right) \)が真であるとき、\(\lnot \lnot A\)と\(\lnot \lnot B\)の少なくとも一方は真です。ただ、\(\lnot A\)が真であるとき、その否定である\(\lnot \lnot A\)は偽です。したがって\(\lnot \lnot B\)は真であるため、二重否定導入より\(\lnot \lnot \lnot\lnot B\)は真です。以上でもとの推論が妥当であることが示されました。つまり、\begin{equation*}\lnot A\ \models \ \lnot \left( \lnot \left( A\vee B\right) \right)
\rightarrow \lnot \lnot \lnot \lnot B
\end{equation*}が成り立ちます。

 

演習問題

問題(二重否定除去)
繰り返しになりますが、選言導入とは、任意の論理式\(A\)に対して、\begin{equation*}A\ \models \ \lnot \lnot A
\end{equation*}が成り立つという推論規則です。本文中では二重否定除去が成り立つことを真理値を用いて示しましたが、同じことを同値変形で示してください。

解答を見る

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

問題(二重否定除去)
任意の論理式\(A,B\)について、\begin{equation*}A,\ \lnot \lnot \left( A\wedge B\right) \ \models \ \lnot \lnot A\wedge
\lnot \lnot B
\end{equation*}が成り立つことを示してください。

解答を見る

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

次回は否定除去と呼ばれる推論規則について学びます。

Share on twitter
Twitterで共有
Share on email
メールで共有
RELATED KNOWLEDGE
二重否定

命題論理における二重否定の法則

論理式 A の否定 ¬A もまた論理式ですから、さらにその否定 ¬(¬A) を考えることができます。これを ¬¬A で表し A の二重否定と呼びます。A とその二重否定 ¬¬A は論理的に同値です。

二重否定

命題論理における二重否定除去

論理式 A に対して、「Aではないことはない」という前提から「Aである」という結論を導く推論規則を二重否定除去と呼びます。

二重否定

二重補集合の法則

集合の補集合は集合であるため、さらにその補集合をとることができます。そして、この集合はもとの集合と等しいことが保証されます。補集合が満たすこのような性質を二重補集合の法則と呼びます。

DISCUSSION

質問とコメント

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

命題論理