Open main menu

Wiktionary β

TranslingualEdit

EtymologyEdit

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

SymbolEdit

¬

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

Usage notesEdit

SynonymsEdit

ReferencesEdit