否定符号（negation symbol），逻辑符号之一，它表示逻辑上的“否定”或“非”的概念的符号。

应该说，逻辑非是最早产生的逻辑概念.德国数学家莱布尼茨(Leibniz,G. W.)作为数理逻辑的先驱，曾用“ABdoes not exist”或“ABnot CAB E‑.}”这种“半符号”表示“并非A是B”的命题，可视为探索否定符号的早期努力同样一个命题，德国数学家朗伯(Lambert , J. H.)则采用