Wir \liRa{11}wollen uns num der Besprechung spezieller Verknüpfungen von Aussagen und dem Übergang von einer Aussage zu ihrem logischen Gegenteil zuwenden.

\begin{mybox}
	Die Aussage, die das \textbf{logische Gegenteil} einer vorgegebenen Aussage ausdrückt, nennt man die \textbf{Negation} der vorgegebenen Aussage.	
\end{mybox}


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.

\hspace*{-5.8mm}\begin{tikzpicture}[]
	%Vorfüllen sonst verrutscht es
	\draw [white](5.9,0) -- (6,0);
	\bglayer{%
		\draw [line width= 0.35mm, -Latex] (3.75,0) -- (1,0) node [left] {\hyperref[B1.12]{12}};
	}
\end{tikzpicture}