否定符號

否定符號（negation symbol），邏輯學符號之一，它表示邏輯上的“否定”或“非”的概念的符號。

應該說，邏輯非是最早產生的邏輯概念.德國數學家萊布尼茨(Leibniz,G. W.)作為數理邏輯的先驅，曾用"ABdoes not exist”或“ABnot CAB E‑.}”這種“半符號”表示“並非A是B”的命題，可視為探索否定符號的早期努力同樣一個命題，德國數學家朗伯(I_ambert , J. H.)則採用

表示“凡S皆非屍”的意思.義大利數學家卡斯蒂隆(Castillon , G. F.)於1803年用“S=一A -} M'，或“S:(-A)-}M”來表示“凡S皆非A”的意思，這裡他用“一”號作為減號又作為否定符號，分辨它的意義，有賴於上下文.英國數理邏輯學家德·摩根(De Mor-gan, A.)於1831年用“X.Y"(兩字母間加一點在下位，不同乘號“·”在中間)表示“凡X皆非Y".