From 964eea4f5b2212ca58e11ae8b680c06e77c8dfde Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Wed, 12 Nov 2014 11:51:59 +0100 Subject: [PATCH] FGI2: 5.3.3 korrigiert --- fgi2/Blatt5/Aufgabenblatt5.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fgi2/Blatt5/Aufgabenblatt5.tex b/fgi2/Blatt5/Aufgabenblatt5.tex index fd3b298..b25e7cc 100644 --- a/fgi2/Blatt5/Aufgabenblatt5.tex +++ b/fgi2/Blatt5/Aufgabenblatt5.tex @@ -109,7 +109,7 @@ \subsubsection{} \(\beta _{1}\) gilt nach 5.3.2.(b) für alle Zustände und somit auch für den Startzustand. Damit gilt \(M_{AKW} \models \textbf{AGEX}(s \vee g)\). \subsubsection{} - \(\beta _{2}\) gilt nach 5.3.2.(c) für keinen Zustand und somit auch nicht für den Startzustand. Damit gilt \(M_{AKW} \models \textbf{EG}\lnot b\) nicht. + \(\beta _{2}\) gilt nach 5.3.2.(c) nur für \(s_{1}\) und \(s_{2}\) und somit nicht für den Startzustand. Damit gilt \(M_{AKW} \models \textbf{EG}\lnot b\) nicht. \section{} %4.4 \subsection{} Umwandeln von \(\beta _{1}\) in \(\beta '_{1}\):