論理否定 NOTとは？コンピュータ科学と論理学の基本概念を解説

Contents

論理学では、真偽値に関する議論を行います。その際、真偽値に関して「真」と「偽」の2つが存在します。そして、「真」か「偽」かを判断するために、真偽値を反転させる操作が必要になります。この操作を否定といいます。

例えば、「10は5よりも大きい」という命題があります。この命題を否定すると、「10は5以下である」という命題になります。

コンピュータ科学では、否定は「NOT」という演算子で表されます。この演算子は、真偽値を反転させるために使われます。

例えば、以下のようなプログラムがあるとします。

“`
x = 5
if not x > 10:
print(“xは10以上ではありません”)
“`

このプログラムは、「xが10よりも大きくない場合に、’xは10以上ではありません’という文言を出力する」というものです。ここで、not演算子によってx > 10という条件式の真偽が反転されています。

論理否定の使い方は、以下のようになります。

– 論理学では、「not P」という形で否定が表されます。
– コンピュータ科学では、「not」というキーワードが使われます。

例えば、以下のような真偽値を持つ変数Pがあるとします。

“`
P = True
“`

この変数Pを否定する場合、論理学では「not P」と表され、コンピュータ科学では「not P」と書くことになります。結果は、以下のようになります。

“`
# 論理学
not P = False

# コンピュータ科学
not P -> False
“`

論理否定（NOT）は、真偽値を反転させることができる演算子です。論理学では「not P」という形で表され、コンピュータ科学では「not」というキーワードが使われます。プログラムにおいて、条件式の真偽を反転させたい場合にはnot演算子を使うことで簡単に実現することができます。

参考記事