Verneinung
Verneinung bezeichnet die operation, mit der eine Behauptung, ein Satz oder ein Gedanke als falsch oder nicht der Fall dargestellt wird. In Sprache und Logik dient Verneinung dazu, das Gegenteil dessen auszudrücken, was gesagt wird, und in vielen Fällen den Geltungsbereich oder die Struktur des Satzes zu verändern. In der Grammatik wird Verneinung oft durch spezielle Wörter oder Affixe realisiert; in der Logik durch den Negationsoperator.
In der deutschen Sprache realisiert sich Verneinung vor allem durch zwei Hilfsformen: nicht und kein. Das Wort
Negation variiert auch sprachlich: Manche Sprachen verwenden mehrere Negationsmarker oder negieren mithilfe von Negativkonkordanzen; andere nutzen
In der Logik wird Verneinung durch den Operator ¬ (oder ~) dargestellt. Aus einer Aussage p folgt dann
---