¬
|
|
TranslingualEdit
EtymologyEdit
Introduced by Arend Heyting in “Die formalen Regeln der intuitionistischen Logik” (1930)[1]
SymbolEdit
¬
Usage notesEdit
- When used in a symbolic logic context, this symbol can be called tilde.
|
|
Introduced by Arend Heyting in “Die formalen Regeln der intuitionistischen Logik” (1930)[1]
¬