Negatiọn
Logik
die Verneinung, Bezeichnung für einen einstelligen Aussagenfunktor (Zeichen ¬ oder ~), gewöhnlich gelesen als „nicht“, „es ist nicht der Fall, dass“. Seine Wahrheitswerttafel ist derart definiert, dass „nicht A“ nur dann wahr ist, wenn A falsch ist.