Reorganisation

Band1/B1.011.tex

@@ -0,0 +1,28 @@
+\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}