「否定」の語義については、ウィクショナリーの「否定」の項目をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "否定" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（2023年12月）

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

命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。このような形をした命題を否定命題（negative proposition）という[1]。

命題 P の否定は含意 → と矛盾 ⊥ を用いた命題 P → ⊥ として定義されることもある（擬補元も参照）。ベン図による論理否定（NOT）
例

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

の命題の否定は、

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

である。
性質

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

ド・モルガンの法則

真理値表

否定の真理値表

命題 P¬P
真偽
偽真

表記法
論理学

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

表記法読み方
¬pノットp、
p の否定、
p でない
?ppバー
~pノットp、
チルダp
p ′ {\displaystyle p'\!} p プライム
p ¯ {\displaystyle {\bar {p}}} p バー、
バー p
! p {\displaystyle !p\!} ノットp、
bang p

電子工学

Aの否定は、 A ¯ {\displaystyle {\overline {A}}} 　と書く。
プログラミング言語

C言語などでは! で表され、if (!z) ;

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

のように使用される。

VBScriptではNotで表され、z = Not x

のように使用される。

Perlでは、!やnotで表され、if (!$f) {}if (not $f) {}

のように使用される。

Schemeでは、notで表され、(not s)(map not (map odd? lst))

のように使用される。
全否定と部分否定

ある対象に関する命題で、対象すべてに関する否定を全否定、一部に関する否定を部分否定という。これらは、述語論理において、次のように表現される。
全否定
∀ 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) ではない」」と言い換えることができる。

全否定命題の否定は部分肯定、部分否定命題の否定は全肯定である。
その他の論理的否定

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

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

「〜しなければならない（命令）」の否定は「〜しなくてよい（免除）」

「〜であるにちがいない」の否定は「〜でないかもしれない」

「〜してよい（許可）」の否定は「〜してはならない（禁止）」

「〜であるかもしれない」の否定は「〜でないにちがいない」

と考えられる。様相論理は一般には古典論理に必然性演算子 ◻ {\displaystyle \Box } と可能性演算子 ◊ {\displaystyle \Diamond } を導入して形式化され、「可能性演算子つきの命題」 ◊ A {\displaystyle \Diamond A} は、「命題の否定に必然性演算子をつけた命題の否定」 ¬ ◻ ¬ A {\displaystyle \lnot \Box \lnot A} として定義される。例えば「「彼がそれをしていないに違いない」というわけではない」は、「彼がそれをした可能性がある」と同値である。
自然言語における否定詳細は「極性 (言語学)」を参照

自然言語において、否定は極性表現の一種である。否定を表す言語表現は文否定と構成素否定に分けられる。

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

I do not have a pen.

私はペンを持っていない。

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

構成素否定は、英語の

I have no pens.

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

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

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

語形変化による否定の例
接頭辞（ペルシア語）
????
na-xar-am
NEG-買う-1SG
「私は買わない」
接尾辞（日本語）
買わない
kaw-ana-i
買う-NEG-NPST

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

語形変化による否定の例（ナナイ語）
肯定・現在
xola-j-si
読む-PRS-2SG
「あなたは読んでいる」
肯定・過去
xola-xa-si
読む-PST-2SG
「あなたは読んでいた」

否定・現在
xol?-si-si
読む-NEG.PRS-2SG
「あなたは読んでいない」
否定・過去
xol?-ci-si
読む-NEG.PST-2SG
「あなたは読んでいなかった」

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

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

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

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

言語における否定で注意すべき点として、否定を他の法観念（可能・必然・許可・義務など、話者の判断が介入する）と組み合わせた場合には、意味的な否定（論理的否定）と形式的な否定が一致しない場合もある。意味的な否定は上記の様相論理学における否定として扱うことができ、例えば許可「…してよい」の意味的否定は不許可＝禁止「…してはならない」、義務「…しなければならない」の意味的否定は否定の許可「…しなくてよい」である。