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