\phantomsection
\label{B1.7}
Für Umformungen bzw. Verknüpfungen von \marginpar[\raggedleft\Huge{\textbf{7}}]{\textbf{\Huge{\textbf{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}

\hspace*{-5.8mm}\begin{tikzpicture}[]
	%Vorfüllen sonst verrutscht es
	\draw [white](5.9,0) -- (6,0);
	%	\node (A) at (8.25,0) {Dann};
	\bglayer{%
		\draw [line width= 0.35mm, -Latex] (3.75,0) -- (1,0) node [left] {\hyperref[B1.10]{10}};
		\node[right, xshift=1mm] at (3.75,0) {Dann};
	}
\end{tikzpicture}
%\begin{tikzpicture}[]
%	%Vorfüllen sonst verrutscht es
%	\draw [white](0,0) -- (5,0);
%	\node (A) at (8.25,0) {Dann};
%	\bglayer{%
	%		\draw [line width= 0.35mm, -Latex] (9,0) -- (11.75,0) node [right] {\hyperref[B1.10]{10}};
	%	}
%\end{tikzpicture}