論理同値（ろんりどうち）
最終更新：2026/4/22
論理同値とは、命題論理において、常に同じ真理値をとる2つの命題の関係を指す。
別名・同義語 同値関係論理的等価性
ポイント
論理同値な命題は、真理値表が完全に一致する。これは、一方の命題が真であれば他方も真であり、一方の命題が偽であれば他方も偽であることを意味する。
論理同値の定義と基本
論理同値（logical equivalence）とは、命題論理における重要な概念であり、2つの命題が常に同じ真理値を持つとき、それらの命題は論理同値であると定義されます。これは、命題の真偽が互いに完全に依存している状態を示します。
論理同値の検証方法
論理同値であることを検証するには、主に以下の方法が用いられます。
- 真理値表: 各命題の真理値の組み合わせ全てに対して、両方の命題の真理値を比較し、真理値表が完全に一致するかどうかを確認します。
- 論理演算の規則: 論理演算（否定、連言、選言、含意、同値）の規則を用いて、一方の命題を他方の命題に変換できるかどうかを確認します。
- トートロジーの利用: 両方の命題から構成される複合命題がトートロジー（常に真である命題）になるかどうかを確認します。
論理同値の例
- ド・モルガンの法則:
- ¬(P ∧ Q) ≡ ¬P ∨ ¬Q
- ¬(P ∨ Q) ≡ ¬P ∧ ¬Q
- 含意の同値:
- P → Q ≡ ¬P ∨ Q
- 二重否定の法則:
- ¬¬P ≡ P
これらの例は、論理演算の規則を用いて、一方の命題を他方の命題に変換できることを示しています。
論理同値の応用
論理同値の概念は、以下の分野で応用されています。