Last modified on 3 August 2014, at 15:28

TranslingualEdit

Character ¬
Unicode name NOT SIGN
Code point U+00AC
Unicode block Latin-1 Supplement
« [U+00AB] [U+00AD]

EtymologyEdit

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

SymbolEdit

¬

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

SynonymsEdit

Usage notesEdit

ReferencesEdit

  1. ^ http://jeff560.tripod.com/set.html