命題論理における推論規則

推論

既知の事柄を前提（premise）とした上で、未知の事柄に関する結論（conclusion）を導き出すことを推論（inference）と呼びます。より正確には、推論とは、前提に相当する有限個の論理式\(A_{1},\cdots ,A_{n}\)がすべて真であるような任意の解釈において、結論に相当する論理式\(B\)が必ず真になるという主張であり、これを、\begin{equation*}
A_{1},\cdots ,A_{n}\ \therefore \ B
\end{equation*}と定式化します。これを推論式（inference formula）と呼びます。以降では推論式とそれが表す推論と区別せずに、両者を推論と呼ぶこともあります。

前提を持たず結論\(B\)だけを持つ推論を考える際には、それを、\begin{equation*}
\therefore \ B
\end{equation*}と記述します。これは論理式\(B\)が恒真式であるという主張です。

妥当な推論：推論規則

前提\(A_{1},\cdots ,A_{n}\)がすべて真であるような任意の解釈において結論\(B\)が必ず真であることが保証される場合、その推論は妥当である（valid）と言い、そのことを、\begin{equation*}
A_{1},\cdots ,A_{n}\ \models \ B
\end{equation*}と表記します。これを推論規則（inference rule）と呼びます。

前提を持たず結論\(B\)だけを持つ推論が妥当であることを、\begin{equation*}\models \ B
\end{equation*}と表記します。これは論理式\(B\)が恒真式であることを意味します。

推論が妥当であることの厳密な定義は以上の通りですが、これはどのような意味を持っているのでしょうか。繰り返しになりますが、前提\(A_{1},\cdots ,A_{n}\)と結論\(B\)に関する推論が妥当であること、すなわち、\begin{equation}A_{1},\cdots ,A_{n}\ \models \ B \quad \cdots (1)
\end{equation}が成り立つこととは、\(A_{1},\cdots ,A_{n}\)がすべて真である場合には必ず\(B\)も真になることが保証されることを意味します。ここで注意したいのは、推論規則は任意の論理式\(A_{1},\cdots,A_{n},B\)に関して成立する一般的な法則であるということです。つまり、推論規則\(\left( 1\right) \)が成り立つことが分かっている場合には、\(\left( 1\right) \)を構成する\(A_{1},\cdots ,A_{n},B\)にそれぞれどのような具体的な論理式\(\alpha _{1},\cdots ,\alpha _{n},\beta \)を入れた場合においても、\(\alpha _{1},\cdots ,\alpha _{n}\)がすべて真である限りにおいて\(\beta \)もまた真になることが保証されます。

推論規則を別の形で理解することもできます。前提\(A_{1},\cdots ,A_{n}\)と結論\(B\)に関する推論が妥当であること、すなわち、\begin{equation}A_{1},\cdots ,A_{n}\ \models \ B \quad \cdots (1)
\end{equation}が成り立つことが分かっている状況を想定します。繰り返しになりますが、推論規則は任意の論理式\(A_{1},\cdots ,A_{n},B\)に関して成立する一般的な法則であるため、\(\left( 1\right) \)を構成する\(A_{1},\cdots ,A_{n},B\)にそれぞれどのような具体的な論理式\(\alpha _{1},\cdots ,\alpha_{n},\beta \)を入れた場合においても、\(\alpha _{1},\cdots ,\alpha _{n}\)がすべて真である限りにおいて\(\beta \)もまた真になることが保証されます。では、結論として採用した具体的な論理式\(\beta \)が偽である場合、推論規則\(\left( 1\right) \)が成立するという事実から何らかの有益な事実を導き出せるでしょうか。\(\beta \)が偽である場合、前提として採用した論理式\(\alpha _{1},\cdots ,\alpha _{n}\)の中の少なくとも1つが偽であることが保証されます。なぜなら、仮に\(\alpha _{1},\cdots ,\alpha _{n}\)がすべて真である場合、推論規則\(\left( 1\right) \)より\(\beta \)が真であることが導き出され、これは\(\beta \)が偽であることと矛盾するからです。

妥当ではない推論

前提\(A_{1},\cdots ,A_{n}\)がすべて真であるとともに結論\(B\)が偽であるような解釈が存在する場合、その推論は妥当でない（invalid）と言い、そのことを、\begin{equation*}
A_{1},\cdots ,A_{n}\ \not\models \ B
\end{equation*}と表記します。

前提\(A_{1},\cdots ,A_{n}\)がすべて真であるとともに結論\(B\)が偽であるような解釈を反例（counter example）と呼びます。推論が妥当でないこととは、その推論に反例が存在することを意味します。逆に、推論に反例が存在しない場合、その推論は妥当です。

前提を持たず結論\(B\)だけを持つ推論が妥当でないことを、\begin{equation*}\not\models \ B
\end{equation*}と表記します。これは論理式\(B\)が恒真式でない（恒偽式もしくは事実式である）ことを意味します。

推論規則を導く方法

推論の妥当性を示す方法はいくつか存在します。1つ目の方法は、すべての前提\(A_{1},\cdots ,A_{n}\)が真であることを仮定した上で、結論\(B\)が真になることを示すというものです。

推論の妥当性を示すための2つ目の方法は、前提\(A_{1},\cdots ,A_{n}\)と結論\(B\)から以下の論理式\begin{equation*}\bigwedge_{i=1}^{n}A_{i}\ \rightarrow \ B
\end{equation*}を構成した上で、これが恒真式であること、すなわち、\begin{equation*}
\bigwedge_{i=1}^{n}A_{i}\ \Rightarrow \ B
\end{equation*}が成り立つことを示すというものです。なぜなら、この恒真式が成立することと、前提\(A_{1},\cdots ,A_{n}\)と結論\(B\)に関する推論が妥当であることは必要十分だからです（演習問題にします）。

推論の妥当性を示すための3つ目の方法は、前提\(A_{1},\cdots ,A_{n}\)を出発点として推論規則を用いて結論を次々に導出し、最終的に当初の推論式の結論\(B\)を導出するというものです。これは証明（proof）と呼ばれる手続きですが、これについては後ほど詳しく解説することにして、次回からは証明において役に立つ推論規則をいくつか提示します。

演習問題

次回は含意除去と呼ばれる推論規則について解説します。