27 lines
772 B
TeX
27 lines
772 B
TeX
%!TEX root=Band1.tex
|
|
|
|
\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$.
|
|
|
|
\verweisrechts{B1.11}{11} |