命題論理

任意の恒偽式からは任意の論理式を導くことができます。このような推論規則を爆発律と呼びます。

命題論理の確認テストです。

命題論理の確認テストです。

命題論理の確認テストです。

命題論理において解釈しようとする論理式が長い場合、部分論理式も膨大であるため、通常の方法にしたがうと真理値表が大きくなってしまいます。そのような場合には、真理値表の1つの列に論理式を構成する文字や論理演算子を1つずつ入れていく形で真理値表を描けばスペースを省略できます。

恒真式を構成する論理式を任意の論理式に置き換えた場合、得られる論理式もまた恒真式になることが保証されます。これを一様代入の法則と呼びます。

与えられた推論が複雑である場合には、それをいくつかの単純な推論に分割した上で、得られた個々の推論の妥当性を示す場合分けと呼ばれる証明方法が有用です。

結論が論理式 B,C を用いて B∨C で表される推論が与えられたとき、推論の前提に加えて ¬B が真であるということを出発点として C が真であることを示すことができれば、もとの推論が妥当であることを示したことになります。これを消去法と呼びます。

推論の結論が偽であることを出発点として、推論の前提の少なくとも 1 つが偽であることを導くことができれば、対偶律よりもとの推論の妥当性が示されます。このような証明方法を対偶法と呼びます。

推論の結論が論理式 Bとして表されるとき、その否定 ¬B が真であることを仮定した上で、これと推論の前提に対して推論規則を適用して最終的に恒偽式を導くことができれば、否定導入より ¬¬B すなわち B が真になるため、推論式が妥当であることが示されます。このような証明方法を背理法と呼びます。

推論を証明する際には、推論の前提とは異なる論理式を便宜的に真と仮定した上で、その論理式と推論の前提に対して推論規則を適用していく手法が時として有効です。仮定を利用する証明方法の代表的なものは条件付き証明です。

推論の妥当性を示すために、前提を出発点として同値変形の法則や推論規則を用いて結論を次々に導出し、最終的に当初の推論式の結論を導出する手法を証明や演繹などと呼びます。