論理式\(A,B\)に対して、\(B\rightarrow A\)を含意\(A\rightarrow B\)の逆と呼び、\(\lnot A\rightarrow \lnot B\)を\(A\rightarrow B\)の裏と呼び、\(\lnot B\rightarrow \lnot A\)を\(A\rightarrow B\)の対偶と呼びます。含意とその対偶は同値であり、含意の逆と裏は同値です。

    対偶

2018年11月17日:公開

逆・裏・対偶

論理式\(A,B\)に対して、\(B\rightarrow A\)を含意\(A\rightarrow B\)の(converse)と呼び、\(\lnot A\rightarrow \lnot B\)を\(A\rightarrow B\)の(inverse)と呼び、\(\lnot B\rightarrow \lnot A\)を\(A\rightarrow B\)の対偶(contraposition)と呼びます。

例(逆・裏・対偶)
以下の主張\begin{equation*}
\text{三角形のすべての内角が等しければ、それは正三角形である}
\end{equation*}の逆、裏、対偶はそれぞれ、\begin{eqnarray*}
&&\text{逆:三角形が正三角形ならば、そのすべての内角は等しい} \\
&&\text{裏:三角形の内角の中に等しくないものがあるならば、それは正三角形ではない} \\
&&\text{対偶:三角形が正三角形ではないならば、その内角の中に等しくないものがある}
\end{eqnarray*}となります。ちなみに、もとの主張、逆、裏、対偶はすべて真です。
例(逆・裏・対偶)
以下の主張\begin{equation*}
\text{四角形が長方形ならば、その四角形は 2
組の平行な辺を持つ}
\end{equation*}の逆、裏、対偶はそれぞれ、\begin{eqnarray*}
&&\text{逆:四角形が 2 組の平行な辺を持つならば、その四角形は長方形である} \\
&&\text{裏:四角形が長方形でないならば、その四角形は 2 組の平行な辺を持たない} \\
&&\text{対偶:四角形が 2 組の平行な辺を持たないならば、その四角形は長方形ではない}
\end{eqnarray*}となります。ちなみに、もとの主張とその対偶はともに真ですが、逆と裏はともに偽です。

 

対偶律

含意とその対偶は同値であり、含意の逆と裏は同値です。

命題(逆・裏・対偶)
任意の論理式\(A,B\)に対して以下が成り立つ。\begin{align*}
& \left( a\right) \ A\rightarrow B\ \Leftrightarrow \ \lnot B\rightarrow \lnot A \\
& \left( b\right) \ B\rightarrow A\ \Leftrightarrow \ \lnot A\rightarrow \lnot B
\end{align*}
証明を見る(プレミアム会員限定)

\(B\)が偽である場合に\(A\)が偽であることを示すことができれば、対偶律より、\(A\)が真である場合に\(B\)が真であることも示されたものとみなすことができます。この考え方は対偶法と呼ばれる証明方法の根拠になることを後に解説します。

対偶法について学ぶ

 

日常における対偶の用法

上の命題より、含意とその対偶は常に真理値が一致しますが、この事実と矛盾するように思われる例を提示します。まず、\begin{equation*}
\left( a\right) \ \text{お金があるから買い物ができる}
\end{equation*}という主張は明らかに正しいです。そこで、この対偶を取ると、\begin{equation*}
\left( b\right) \ \text{買い物ができないからお金がない}
\end{equation*}が得られますが、これは正しいとは言えません。お金があっても他の理由により買い物ができない事態が起こり得るからです。したがって、この例では含意とその対偶の真理値が一致しませんが、何故このような事態が起きたのでしょうか。

主張\(\left( a\right) \)は、「お金がある\(\Rightarrow \)買い物ができる」と定式化できますが、ここでのポイントは、お金があるという前提と、買い物ができるという結論の間には時間のずれが存在するということです。つまり、ある時点においてお金があるからこそ、それより後の時点において買い物ができるというのが\(\left( a\right) \)の本来の趣旨です。したがって、\(\left( a\right) \)の対偶を取る際にも、お金の保有に関する命題が、買い物に関する命題よりも時間的に先行している表現になっていなければなりません。以上を踏まえた上で\(\left( b\right) \)を修正すると、\begin{equation*}
\left( c\right) \ \text{買い物ができないのはお金がないからである}
\end{equation*}となり、これは明らかに正しいです。つまり、\(\left( c\right) \)こそが\(\left( a\right) \)の正しい対偶です。

含意\(P\rightarrow Q\)において、\(P\)と\(Q\)の間に時間のずれが存在しない場合には、このような問題について気を煩わせる必要がなく、形式的にその対偶\(\lnot Q\rightarrow \lnot P\)を取れば問題ありません。一方、上の例のように、\(P\rightarrow Q\)において\(P\)が\(Q\)よりも時間的に先行する場合には、対偶\(\lnot Q\rightarrow \lnot P\)を取る際に\(\lnot P\)が\(\lnot Q\)よりも時間的に先行する表現になっているように気を配る必要があります。

次回は双対原理について学びます。
次へ進む 演習問題(プレミアム会員限定)