¬
See also: ㄱ
|
|
Translingual edit
Etymology edit
Introduced by Arend Heyting in “Die formalen Regeln der intuitionistischen Logik” (1930)[1]
Symbol edit
¬
Usage notes edit
- 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]
¬