論理否定とは、ある命題の真理値を反転させる論理演算のことです。
命題\(A\)の論理否定は、\(\overline{A}\)や\(\neg A\)で表現されます。
命題\(A\)の論理否定の真理値表は、以下になります。
なお、論理否定は、文脈によっては、論理反転と呼ぶ場合もあります。