From 3e7ecc520e6ab99df12e778eed3212ee2a8e1cfc Mon Sep 17 00:00:00 2001
From: Jim Martens <jim1@live.de>
Date: Wed, 5 Nov 2014 18:40:49 +0100
Subject: [PATCH] FGI2: Aufgabe 4.4 fertiggestellt

---
 fgi2/Blatt4/Aufgabenblatt4.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/fgi2/Blatt4/Aufgabenblatt4.tex b/fgi2/Blatt4/Aufgabenblatt4.tex
index b30443c..3caa7f3 100644
--- a/fgi2/Blatt4/Aufgabenblatt4.tex
+++ b/fgi2/Blatt4/Aufgabenblatt4.tex
@@ -65,6 +65,8 @@
 		\(\lozenge \square(\lnot Teig \vee Hitze) \)& nein & nein \\
 		\(\square	\lozenge(\lnot Teig \vee Hitze)\) & ja & ja \\
 		\(\square	(Hitze \;\mathcal{U}\; Backen)\) & nein & nein \\
-		\(\square	\lozenge (Hitze \Rightarrow XX\lnot Backen)\) & ja & ja
+		\(\square	\lozenge (Hitze \Rightarrow XX\lnot Backen)\) & ja & nein \\
+		\(\square ((Hitze \wedge Teig) \Rightarrow \lozenge \lnot Teig)\) & ja & ja \\
+		\(XX \lozenge (\lnot Hitze \wedge \lnot Teig)\) & nein & nein  
 	\end{tabular}
 \end{document}