Jump to content

¬

From Wiktionary, the free dictionary
See also:

¬ U+00AC, ¬
NOT SIGN
«
[U+00AB]
Latin-1 Supplement
[U+00AD]

Translingual

[edit]

Etymology

[edit]

Introduced by Arend Heyting in “Die formalen Regeln der intuitionistischen Logik” (1930)[1]

Symbol

[edit]

¬

  1. (logic) not
    (x y) ¬(x = y)

Usage notes

[edit]

Synonyms

[edit]

References

[edit]