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}