negierung
Negierung bezeichnet in der Logik und der Sprache die Operation der Verneinung einer Aussage oder Proposition. In der formalen Logik ist Negation ein einstelliger Operator, der aus p den Ausdruck ¬p bildet und den Wahrheitswert der Proposition umkehrt. In der Sprachwissenschaft beschreibt Negation die Realisierung der Verneinung durch spezifische Wörter oder Partikeln sowie durch strukturelle Merkmale, die einen Satz oder Teil davon negieren.
Im Deutschen unterscheidet man vor allem zwischen „nicht“ und „kein“. „Nicht“ negiert Verben, Adjektive, Adverbien oder
Semantisch unterscheidet man Satzverneinung (Verneinung eines ganzen Satzes), Teilverneinung (Verneinung eines Satzteils) und Skalenverneinung (Negation von
Aus logischer Perspektive ist Negation der Operator ¬; in der Prädikatenlogik verknüpft er Quantoren wie ¬∃x P(x)
Negierung ist zentral in Linguistik, Semantik, Philosophie und Informatik, insbesondere in Natural Language Processing, maschineller Übersetzung