%!TEX root=Band1.tex

%\documentclass[Band1.tex]{subfiles} % verweist auf das Hauptdokument
%
%\begin{document}

\phantomsection
\label{B1.7}
Für Umformungen bzw. Verknüpfungen von \secnr{7}Aussagen ist es günstig, Buchstaben stellvertretend für Aussagen verwenden zu können. Man bevorzugt insbesondere $p, q$ usw. Wir vereinbaren daher: Buchstaben $p, q$ usw. sollen Aussagen bedeuten können.

Betrachten wir als Beispiel die Aussage

\einrueckung{
	\textit{Klaus und Dieter haben jeder ein Motorrad.}
}

Diese Aussage können wir z. B. mit $p$ abkürzen. Wir können uns diese Aussage aber auch in der Form

\einrueckung{
	\textit{Klaus hat ein Motorrad, und Dieter hat ein Motorrad}
}
aufschreiben und als Abkürzungen vereinbaren:
\vspace{-4mm} %Leider hart formatiert
\einrueckung{
	\textit{\begin{description}
			\item[$p:$] Klaus hat ein Motorrad
			\item[$q:$] Dieter hat ein Motorrad
	\end{description}}
} 
Unsere vorgegebene Aussage haben wir in diesem zweiten Falle abgekürzt zu

\einrueckung{
	\textit{ $p$ und $q$.}
}

Wir erkennen, daß wir die gegebene Aussage auch als eine Verknüpfung zweier Aussagen auffassen können.

\begin{description}[labelwidth =\widthof{\bfseries9999999}, leftmargin = !]
	\item[Aufgabe:] Führen Sie in gleicher Weise als ein zweites Beispiel für die Aussage
	
	\textit{Bei Rot und bei Gelb darf man eine Kreuzung nicht überqueren}
	
	
	Abkürzungen geeignet so ein, daß sich auch diese Aussage als eine Aussagenverknüpfung erweist!
	
	\item[\textbf{\Huge{\;\;!}}]  \raisebox{-0.5\height+\ht\strutbox}{\textbf{Notieren Sie sich die gewählten Abkürzungen!}}
	%\item[\Huge{\;\;\;!}]
	
	\vspace{1em}
	
	\item[] .......................................................................................................
	\vspace{1em}
	\item[].......................................................................................................
	\vspace{1em}
	\item[].......................................................................................................
\end{description}

\verweisrechtskom{B1.4}{4}{8.75}{Dann}

%\end{document}
