Die ''Assertion'' eines Elementes aus der Klasse von inkompatiblen Ausdrücken impliziert die Verneinung jedes einzelnen anderen Elementes in dieser Klasse (rot impliziert ~ blau, ~ grün u.s.w.); die Negation eines Elementes aus einer Klasse von inkompatiblen Ausdrücken impliziert die ''Assertion'' der Disjunktion all der anderen Elemente (~ rot impliziert entweder grün oder blau oder …).<ref>{{Literatur | Autor=John Lyons | Titel=Einführung in die moderne Linguistik | Verlag=C.H. Beck | Ort=München | Jahr=1995 | Auflage=8. | ISBN=3-406-39465-5 | Seiten=471 | Kommentar= }}.</ref>
{{K|Philosophie|Linguistik}} bestimmte, feststellende Behauptung, Feststellung oder Versicherung, bei der ohne jede [[Begründung]] etwas als [[wahr]] [[behauptet]] oder [[geleugnet]] wird