否定符號

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

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