否定とは？
ひてい
命題の「正しい・まちがい」をひっくり返す操作で、¬ という記号で表すよ。
否定（¬）とは、命題の真偽をひっくり返す論理の操作だよ。「今日は晴れだ（P）」が正しいなら「今日は晴れでない（¬P）」は正しくない、ということだね。¬P は「P でない」という意味で、P の反対を表すよ。
つかいかた・れいぶん
「猫じゃない（¬猫）」は、猫であることの否定で、猫でないときに正しくなるよ。
このことばを シェア
さいごの こうしん: