否定のソースを表示

{{see Wiktionary}}
{{出典の明記|date=2023年12月}}
[[数理論理学]]において'''否定''' (ひてい、{{lang-en-short|''Negation''}}) とは、[[命題]]の[[真理値|真と偽]]を反転する[[論理演算]]である。否定は[[英語]]で Not であるが、Invert とも言われ[[論理演算]]ではインバージョン（Inversion）、[[論理回路]]では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。

命題 ''P'' に対する否定を &not;''P'', <span style="text-decoration:overline">''P''</span>, !''P'' などと書いて、「''P'' でない」とか「''P'' の否定」、「''P'' 以外の場合」などと読む。このような形をした命題を否定命題（{{lang|en|negative proposition}}）という<ref>{{cite book
|和書
|author1=近藤洋逸
|authorlink1=近藤洋逸
|author2=好並英司
|title=論理学概論
|publisher=岩波書店
|year=1964
|page=31
|id={{NDLDC|2969913|format=NDLJP}}
}}</ref>。[[形式的証明|証明]]においては[[否定の導入]]により否定命題は導かれる。

命題 ''P'' の否定は[[論理包含|含意]] → と[[矛盾]] ⊥ を用いた命題 ''P'' → ⊥ として定義されることもある（[[束 (束論)#補元と擬補元|擬補元]]も参照）。

[[画像:Venn-Diagram-NOT.png|thumb|[[ベン図]]による論理否定（NOT）]]

== 例 ==
* 「私の身長は 160 cm 以上である」
の命題の否定は、
* 「私の身長は 160 cm 未満である」
である。

== 性質 ==
他の論理演算と違い、対象となる命題が一つという事から、[[単項演算]]であることがわかる。
* [[ド・モルガンの法則]]

=== 真理値表 ===
否定の[[真理値表]]
{| border=1 cellpadding=2 cellspacing=0
|- style="background-color:#ccc"
! 命題 ''P'' !! &not;''P''
|- align="center"
| {{yes2|真}} || {{no2|'''偽'''}}
|- align="center"
| {{no2|偽}} || {{yes2|'''真'''}}
|}

==表記法==
=== 論理学 ===
命題 ''p'' の否定は、以下のように複数の表記がなされる。
{| class="wikitable"
|- style="background:paleturquoise"
! style="text-align:center" | 表記法
! 読み方
|-
| style="text-align:center" | ¬''p''
| ノット''p''、<br />''p'' の否定、<br />''p'' でない
|-
| style="text-align:center" | −''p''
| ''p''バー
|-
| style="text-align:center" | ~''p''
| ノット''p''、<br / >チルダ''p''
|-
| style="text-align:center" | <math>p'\!</math>
| ''p'' プライム
|-
| style="text-align:center" | <math>\bar{p}</math>
|  ''p'' バー、<br />バー ''p''
|-
| style="text-align:center" | <math>!p\!</math>
| ノット''p''、<br />[[エクスクラメーションマーク|bang]] p 
|}

=== 電子工学 ===
Aの否定は、<math>\overline{A}</math>　と書く。

=== プログラミング言語 ===
[[C言語]]などでは<code>!</code> で表され、
:<code>if (!z) ;</code>

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

のように使用される。

[[VBScript]]では<code>Not</code>で表され、
:<code>z = Not x</code>

のように使用される。

[[Perl]]では、<code>!</code>や<code>not</code>で表され、
:<code>if (!$f) {}</code>
:<code>if (not $f) {}</code>

のように使用される。

[[Scheme]]では、<code>not</code>で表され、
:<code>(not s)</code>
:<code>(map not (map odd? lst))</code>

のように使用される。

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

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

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

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

;全否定
:&forall; ''x'' &not; ''A''(''x'') = &not; &exist; ''x'' ''A''(''x'')

;部分否定
:&not; &forall; ''x'' ''A''(''x'') = &exist; ''x'' &not; ''A''(''x'')

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

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

== その他の論理的否定 ==

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

例えば意味としては（言語形式上とは異なる）
*「{{～}}しなければならない（命令）」の否定は「{{～}}しなくてよい（免除）」
*「{{～}}であるにちがいない」の否定は「{{～}}でないかもしれない」
*「{{～}}してよい（許可）」の否定は「{{～}}してはならない（禁止）」
*「{{～}}であるかもしれない」の否定は「{{～}}でないにちがいない<!--はありえない-->」
と考えられる。様相論理は一般には古典論理に必然性演算子 <math>\Box</math> と可能性演算子 <math>\Diamond</math> を導入して形式化され、「可能性演算子つきの命題」<math>\Diamond A</math> は、「命題の否定に必然性演算子をつけた命題の否定」<math>\lnot\Box\lnot A</math> として定義される。例えば「「彼がそれをしていないに違いない」というわけではない」は、「彼がそれをした可能性がある」と同値である。

== 自然言語における否定 ==
{{詳細記事|極性 (言語学)}}
自然言語において、否定は極性表現の一種である。否定を表す言語表現は'''文否定'''と'''構成素否定'''に分けられる。

文否定は、英語や日本語の
* I '''do not''' have a pen.
* 私はペンを持って'''いない'''。
のように、述語に否定標識を付与することによって否定命題を表現する方法である。

構成素否定は、英語の
* I have no pens.
のように、述語以外の構成素に否定[[標識 (言語学)|標識]]を付与することで否定命題を表現する方法である。日本語では「'''ない'''袖を振る」のように修飾語を否定しても否定文にはならない（「袖を振らない」の意味にはならない）。

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

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

{|class="infobox" style="float: none; white-space: nowrap;" 
!colspan="2"|語形変化による否定の例
|-
|
{|
!colspan="3"|接頭辞（[[ペルシア語]]）
|-
|colspan="3"|نخرم
|-
|na-||xar||-am
|-
|'''NEG'''-||買う||-1SG
|-
|colspan="3"|「私は買わない」
|}
|
{|
!colspan="3"|接尾辞（[[日本語]]）
|-
|colspan="3"|買わない
|-
|kaw||-ana||-i
|-
|買う||-'''NEG'''||-NPST
|}
|}

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

{|class="infobox" style="float: none; white-space: nowrap;" 
!colspan="2"|語形変化による否定の例（[[ナナイ語]]）
|-
|
{|
!colspan="3"|肯定・現在
|-
|xola||-j||-si
|-
|読む||-PRS||-2SG
|-
|colspan="3"|「あなたは読んでいる」
|}
|
{|
!colspan="3"|肯定・過去
|-
|xola||-xa||-si
|-
|読む||-PST||-2SG
|-
|colspan="3"|「あなたは読んでいた」
|}
|-
|
{|
!colspan="3"|否定・現在
|-
|xolā||-si||-si
|-
|読む||-'''NEG'''.PRS||-2SG
|-
|colspan="3"|「あなたは読んでいない」
|}
|
{|
!colspan="3"|否定・過去
|-
|xolā||-ci||-si
|-
|読む||-'''NEG'''.PST||-2SG
|-
|colspan="3"|「あなたは読んでいなかった」
|}
|}

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

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

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

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

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

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

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

{|class="infobox" style="float: none; white-space: nowrap;" 
!colspan="3"|無標の否定・存在の否定・禁止の例（[[北京官話]]）
|-
|
{|
!colspan="4"|無標の否定
|-
|colspan="4"|{{lang|zh|他不喝酒}}
|-
|tā||bu||hē||jiǔ
|-
|彼||NEG||飲む||酒
|-
|colspan="4"|「彼は酒を飲まない」
|}
|
{|
!colspan="4"|存在の否定
|-
|colspan="4"|{{lang|zh|他没有哥哥}}
|-
|tā||méi||yǒu||gēge
|-
|彼||NEG||ある||兄
|-
|colspan="4"|「彼には兄がいない」
|}
|
{|
!colspan="2"|禁止
|-
|colspan="2"|別走
|-
|bié||zǒu
|-
|NEG.IMP||行く
|-
|colspan="2"|「行かないで！」
|}
|}

===否定表現の歴史的変化===
いくつかの言語で否定表現が歴史的に、次のような一定の傾向で変化することが知られており、発見者[[イェスペルセン]]に因み{{仮リンク|イェスペルセン周期|en|Jespersen's Cycle}}と呼ばれる。
#否定は否定[[標識 (言語学)|標識]]で表される。
#否定標識が弱化し、強調の[[副詞]]が付け加えられる。
#強調の副詞が義務化（強調の意義は希薄化）して否定副詞に変化し、否定は2語で表されるようになる。
#否定標識と副詞が離れている場合には、否定は否定副詞で表され、元来の否定標識は任意になる。否定標識と副詞が隣接する場合には、否定標識と副詞が融合する。
#否定は否定副詞（または融合形）だけで表される。
#否定副詞（または融合形）が否定標識として使われる。
#1に戻る。
これが典型的に見られるのは[[フランス語]]である。現代文語では本来の否定詞neと、本来は強調のために追加された副詞pasで動詞句をはさむ。しかし口語ではneを省略しpasだけで否定を表すのが普通である。つまり現代フランス語は3から5の段階にある（[[フランス語の否定文]]参照）。[[英語]]の否定詞not、[[ドイツ語]]のnichtなどは、元来は否定標識と強調の副詞の融合形であり、つまり5段階にある。

またこの他にも、否定の強調表現が通常の否定表現として用いられるようになった例は多くの言語で見られる。例えば英語の「do not 動詞」構文（古くは動詞の後にnotを付けるだけでよかった）、[[近畿方言]]の助動詞「へん」（「･･･はせぬ」から転じた）など。

== 道徳における否定 ==
日常生活で用いられる否定は論理としては異なり、結論だけを言い争う誹謗中傷となっている、
論証が存在しないために、
相手を言い負かす目的で中傷する、
詭弁と化してしまう、
結論だけを言うのみで、
なぜそういう結論に至ったか？
答えが暴力的であったり、
相手に危害を加える内容が多い、
論理の形成なしで相手の悪口を言うため、
哲学においての「否定」は正当な論証が必要不可欠で、
こちらは算術とは異なる否定である。

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 関連項目 ==
*[[NOTゲート]]
*[[肯定]]
*[[真理値]]
*[[真理値表]]
*[[ブール代数]]
*[[ブール論理]]
*[[ベン図]]
*[[二重否定の除去]]（論理における二重否定）
*[[負論理]]
*[[二重否定 (言語学)]]（言語における二重否定）
*[[極性 (言語学)]]
*[[虚辞]]（虚辞のne）
*[[否定動詞]]
*[[否定記号]] {{math|&not;}}

{{論理演算}}
{{Common logical symbols}}
{{Normdaten}}
{{DEFAULTSORT:ひてい}}
[[Category:論理結合子]]
[[Category:文法]]
[[Category:数学に関する記事]]
[[category:和製漢語]]
[[Category:哲学の和製漢語]]