論理演算の同値表現

含意の言い換え

論理式\(A,B\)に関する\(\lnot A\vee B\)は否定\(\lnot \)と論理和\(\vee \)から生成される論理式ですが、これは\(A\rightarrow B\)と同値です。

上の命題より、含意\(\rightarrow \)は否定\(\lnot \)と論理和\(\vee \)から間接的に定義できるため、否定と論理和さえ定義されていれば含意を新たな論理演算として定義する必要はありません。とは言え、含意を独立した論理演算として定義しておくと何かと便利ですので、本稿ではこのまま\(\rightarrow \)を採用します。

同等の言い換え

論理式\(A,B\)に関する\(\left( A\rightarrow B\right) \wedge \left( B\rightarrow A\right) \)は含意\(\rightarrow \)と論理積\(\wedge \)から生成される論理式ですが、これは\(A\leftrightarrow B\)と同値です。

上の命題より、同等\(\leftrightarrow \)は含意\(\rightarrow \)と論理積\(\wedge \)から間接的に定義できるため、含意と論理積さえ定義されていれば同等を新たな論理演算として定義する必要はありません。さらに、先に示したように、含意\(\rightarrow \)は否定\(\lnot \)と論理和\(\vee \)から間接的に定義可能ですから、結局、否定、論理積、そして論理和さえ定義されていれば同等を新たな論理演算として定義する必要はありません。とは言え、同等を独立した論理演算として定義しておくと何かと便利ですので、本稿ではこのまま\(\leftrightarrow \)を採用します。

排他的論理和の言い換え

排他的論理和に関して以下の命題が成り立ちます。

命題中の 2 つ目以降の論理式は否定\(\lnot \)、論理積\(\wedge \)、そして論理和\(\vee \)から生成される論理式ですが、これが\(A\veebar B\)と同値であるということは、排他的論理和\(\veebar \)は否定\(\lnot \)と論理積\(\wedge \)と論理和\(\vee \)から間接的に可能であることを意味します。したがって、否定、論理積、そして論理和さえ定義されていれば、排他的論理和を新たな論理演算として定義する必要はありません。とは言え、排他的論理和を独立した論理演算として定義しておくと何かと便利ですので、本稿ではこのまま\(\veebar \)を採用します。

次回は移出律と移入律について学びます。