否定(数学)

概要

条件 に対し、 でないという条件を、 の 「否定」 といい、 で表す。

条件とは、「」などの、変数によって正しいか間違っているかが変わる主張のこと。

実数全体を考えると、この条件の否定は、「 ではない」、つまり「」となる。

条件条件条件と聞いてうんざりするかもしれないが、要するに 「そうじゃないもの」というイメージ 。

例

「 が偶数かつ 以上」の否定は、「 が奇数または 未満」

※「かつ」の否定は「または」、「または」の否定は「かつ」

補足

「補集合」についても、同じようなバーが付けていてまぎらわしいが、

• 「補集合」は集合に対して使う
• 「否定」は条件に対して使う

という点で、使い方が違う。