\phantomsection
\label{B1.10}
\textbf{Lösung:}
\liRa{10}

Wie im ersten Beispiel werden Sie sich zunächst überlegt haben, daß man die Aussage

\einrueckung{\textit{Bei Rot und bei Gelb darf man eine Kreuzung nicht überqueren }}

auch formulieren kann mittels des Satzes

\einrueckung{\textit{Bei Rot darf man eine Kreuzung nicht überqueren, und bei Gelb darf man eine Kreuzung nicht überqueren.}}


Deswegen werden Sie als gesuchte Abkürzungen leicht gefunden haben

\einrueckung{\begin{description}
	\item[$p:$]Bei Rot darf man eine Kreuzung nicht überqueren
	\item[$q$:] Bei Gelb darf man eine Kreuzung nicht überqueren.
	\end{description}
	}
   
Damit ist die gesuchte Aussage abgekürzt worden zu $p$ und $q$.

\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.11]{11}};
	}
\end{tikzpicture}