28 lines
950 B
TeX
28 lines
950 B
TeX
\phantomsection
|
|
\label{sec:B1.11}
|
|
Wir \liRa{11}wollen uns nun der Besprechung spezieller Verknüpfungen von Aussagen und dem Übergang von einer Aussage zu ihrem logischen Gegenteil zuwenden.
|
|
|
|
\begin{flushright}
|
|
\begin{mybox}
|
|
Die Aussage, die das \textbf{logische Gegenteil} einer vorgegebenen Aussage ausdrückt, nennt man die \textbf{Negation} der vorgegebenen Aussage.
|
|
\end{mybox}
|
|
\end{flushright}
|
|
|
|
|
|
|
|
|
|
Hat man eine Aussage $p$ vorliegen, so kann man deren Negation ausdrücken durch die Formulierungen
|
|
|
|
\einrueckung{\begin{description}
|
|
\item[] \textit{Es ist nicht so, daß $p$ (gilt)}
|
|
\item[] \textit{Es ist nicht richtig, daß $p$ (gilt)}
|
|
\end{description}
|
|
}
|
|
|
|
bzw. durch irgendeinen damit gleichbedeutenden Satz.
|
|
|
|
Jede der möglichen Formulierungen der Negation einer Aussage $p$ wollen wir eine \textbf{Verneinung} von $p$ nennen.
|
|
|
|
Die Negation einer Aussage $p$ werden wir mit \textit{nicht-$p$} bezeichnen.
|
|
|
|
\verweisrechts{B1.12}{12} |