否定

無標の否定・存在の否定・禁止の例（中国官話）
無標の否定
	他不喝酒
	「彼は酒を飲まない」
存在の否定
	他没有哥哥
	「彼には兄がいない」
禁止
	别走
bié	zǒu
NEG.IMP	行く
	「行かないで！」

語形変化による否定の例（ナーナイ語）
肯定・現在
	「あなたは読んでいる」
肯定・過去
	「あなたは読んでいた」
否定・現在
	「あなたは読んでいない」
否定・過去
	「あなたは読んでいなかった」

語形変化による否定の例
接頭辞（ペルシャ語）
	نخرم
	「私は買わない」
接尾辞（日本語）
	買わない

数理論理学において否定（ひてい）とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。

命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。

例

「私の身長は 160 cm 以上である」

の命題の否定は、

「私の身長は 160 cm 未満である」

である。

性質

他の論理演算と違い、対象となる命題が一つという事から、単項演算であることがわかる。

ド・モルガンの法則

真理値表

命題 P	¬P
真	偽
偽	真

表記法

論理学

命題 p の否定は、以下のように複数の表記がなされる。

表記法	読み方
¬p	ノットp、 p の否定、 p でない
−p
~p
$p'\!$	p プライム
${\bar {p}}$	p バー、バー p
$!p\!$

電子工学

Aの否定は、 ${\overline {A}}$ 　と書く。

プログラミング言語

C言語などでは、「!」で表され、

if(! z)

　・・・;

のように使用される。
また、ビット単位の否定は、「~」で表され

y = ~ x

のように使用される。

VBScriptでは、「Not」で表され、

z=Not x

if z Then

　・・・

End If

のように使用される。

Perlでは、「!」や「not」で表され、

if(! $a)

　・・・;

if(not $b)

　・・・;

のように使用される。

全否定と部分否定

ある対象に関する命題で、対象すべてに関する否定を全否定、一部に関する否定を部分否定という。これらは、述語論理において、次のように表現される。

全否定: ∀ x ¬ A(x)　「すべての x について、「A(x) でない」」あるいは「絶対に A(x) ではない」; すべての x に対して、命題 A(x) の否定を主張する命題。

部分否定: ¬ ∀ x A(x)　「「すべての x について A(x)」というわけではない」あるいは「必ずしも A(x) ではない」; 「すべての x に対して命題 A(x) が真である」という命題を否定する命題。

これらは、述語論理に関するド・モルガンの法則によって、次のように書き換えることができる。

全否定: ∀ x ¬ A(x) = ¬ ∃ x A(x)

部分否定: ¬ ∀ x A(x) = ∃ x ¬ A(x)

つまり、全否定「すべての x について、「P(x) でない」」は、「「ある x について P(x)」ということはない」と言い換えることができ、部分否定「「すべての x について P(x)」というわけではない」は、「ある x については「P(x) ではない」」と言い換えることができる。

全否定命題の否定は部分肯定、部分否定命題の否定は全肯定である。

その他の論理的否定

否定をさらに他の観念と組み合わせて考えることもできる。可能性「～でありうる」、必然性「～にちがいない」などを論理学の枠組として扱うのが様相論理学であり、ここではそれらに対する否定が基本的法則（公理）として必要とされる。

例えば意味的には（言語形式上とは異なる）

「～しなければならない（命令）」の否定は「～しなくてよい（免除）」
「～であるにちがいない」の否定は「～でないかもしれない」
「～してよい（許可）」の否定は「～してはならない（禁止）」
「～であるかもしれない」の否定は「～でないにちがいない」

と考えられる。様相論理は一般には古典論理に必然性演算子と可能性演算子を導入して形式化され、「可能性演算子つきの命題」は、「命題の否定に必然性演算子をつけた命題の否定」として定義される。例えば「「彼がそれをしていないに違いない」というわけではない」は、「彼がそれをした可能性がある」と同値である。

自然言語における否定

否定を表す言語表現は文否定と構成素否定に分けられる。

文否定は、英語や日本語の

I do not have a pen.
私はペンを持っていない。

のように、述語に否定標識を付与することによって否定命題を表現する方法である。

構成素否定は、英語の

I have no pens.

のように、述語以外の構成素に否定標識を付与することで否定命題を表現する方法である。日本語では「ない袖を振る」のように修飾語を否定しても否定文にはならない（「袖を振らない」の意味にはならない）。

文否定も構成素否定も、どちらもほぼ同じ意味を表すことができるが、文否定の方が一般的である。

語形変化による否定表現

述語の形を変化させることで否定を表す。例えば日本語の動詞の否定では否定の接尾辞が用いられ、ペルシャ語では接頭辞が使われる。

他の屈折要素と融合している場合もある。例えばナーナイ語では否定節で特別な時制標識を用いる。

一般には文法的な法の一種として「否定法」とされる。

また否定形が肯定形と全く異なる形態をしている場合もある。例えば日本語「ある」-「ない」など（文語体や関西弁は「あらず」、「あらへん」という否定形を使う）。

日本語では動詞に対しては未然形に助動詞「ない」・「ぬ」が接続した形で否定する。「ない」・「ぬ」は独立性のない接尾辞と考えるのが適切である（助詞「は」が介入した場合「*書か-は-ない」でなく「書き-は-しない」と言う）。一方形容詞・形容動詞の否定には「ない」を使うが、これは学校文法では助動詞でなく補助形容詞と呼び、「赤く-は-ない」というように独立性があり、またこの「ない」には本来の意味が残っている（「ない」を肯定形の「ある」に入れ替え「赤くはある」とすることもできる）。

このほか、動詞や形容詞を単独に否定することができず「…であるということはない」のように文（節）を否定する言語もある。

言語における否定で注意すべき点として、否定を他の法観念（可能・必然・許可・義務など、話者の判断が介入する）と組み合わせた場合には、意味的な否定（論理的否定）と形式的な否定が一致しない場合もある。意味的な否定は上記の様相論理学における否定として扱うことができ、例えば許可「…してよい」の意味的否定は不許可＝禁止「…してはならない」、義務「…しなければならない」の意味的否定は否定の許可「…しなくてよい」である。しかし英語で must not は「…してはならない」または｢…はありえない｣を表す。つまり not によって、助動詞（あるいは文自体）を否定する（外部否定）のではなく、動詞不定詞を否定するのだ（内部否定）と考えるべきである。それに対し cannot は can の否定（不可能「…できない」または「…はありえない」：外部否定）と考えてよい。may not は場合によって意味が異なり、禁止「…してはならない」（must not とほぼ同じ意味；ただし発話で not を強調すると「…しなくてよい」の意味にもなる）、または否定の可能（不可能ではない）「…でないかもしれない」になる。

上記のような明らかな否定語以外にも、意味的に否定に近い語・表現もある。英語でいえば、"only～"(文脈による)、"few"、"scarcely"などがある。これらに相当する日本語表現では「～しかない」「ほとんど～ない」「滅多に～ない」と否定を明示することが多い。

さまざまな否定

時制・アスペクト・ムードなどによって、異なる否定の不変化詞や接辞を用いる言語もある。例えば、否定の命令文（禁止）に否定平叙文と別の手段を使う言語や、存在の否定に特別の方法を持っている言語は数多くある。

表話編歴論理演算
恒真式 ( $\top$ )
NAND ( $\uparrow$ ) 逆含意 ( $\leftarrow$ ) IMP ( $\rightarrow$ ) OR ( $\lor$ )
否定 ( $\neg$ ) XOR ( $\oplus$ ) 同値 ( $\leftrightarrow$ ) 命題
NOR ( $\downarrow$ ) 非含意 ( $\nrightarrow$ ) 逆非含意 ( $\nleftarrow$ ) AND ( $\land$ )
矛盾 ( $\bot$ )

例

性質

真理値表

表記法

論理学

電子工学

プログラミング言語

全否定と部分否定

その他の論理的否定

自然言語における否定

語形変化による否定表現

さまざまな否定

関連項目