next up previous contents index
Nächste Seite: Semantik der Konjunktion Aufwärts: Semantik der aussagenlogischen Konnektive Vorherige Seite: Semantik der aussagenlogischen Konnektive   Inhalt   Index


Semantik der Negation

\framebox{ \parbox{12cm} { Der Satz $\neg\varphi$\ ist genau dann wahr, wenn $\varphi$\ falsch ist. Andernfalls ist $\neg\varphi$\ falsch. } }

Das Verhalten der Negation wird den Leser nicht überraschen; sie wechselt einfach den Wahrheitswert des Satzes, auf den sie angewandt wird: Aus einem wahren Satz wird ein falscher und aus einem falschen ein wahrer.


Christian Gottschall 2003-03-19