条件じょうけんppp の 反対はんたい。 ppp が 「x>0x > 0x>0」 なら 否定ひていp‾\overline{p}p は 「x≤0x \leq 0x≤0」。
条件じょうけん ppp の否定ひてい p‾\overline{p}p とは、「ppp でない」ことを表あらわす条件じょうけんです。
注意ちゅういしたいのは境界きょうかいです。「x>0x > 0x>0」の否定ひていは「x≤0x \leq 0x≤0」で、等号とうごうがつきます(x=0x = 0x=0 は「>0> 0>0」を満みたさないので否定ひてい側がわに入はいる)。「かつ」「または」の否定ひていはド・モルガンの法則ド・モルガンのほうそくで入いれかわります。
試験しけんでは 不等号ふとうごうの否定ひていで等号とうごうの有無うむを間違まちがえやすい。>>> の否定ひていは ≤\leq≤、≥\geq≥ の否定ひていは <<<。境界きょうかいをどちらに入いれるか毎回まいかい確認かくにんしよう。