¬

i formell logik: tecken för negation. –  ¬A utläses ”icke A” och betyder ”det är inte sant att A”.

[logiska symboler] [tecken] [ändrad 16 augusti 2021]