¬
See also: ㄱ
![]() | ||||||||
|
|
Translingual
editEtymology
editIntroduced 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]
¬