2martens/uni
1
0
Fork 0
mirror of https://github.com/2martens/uni.git synced 2026-05-06 11:26:25 +02:00
Code Releases Activity

FGI2: Aufgabe 4.4 fertiggestellt

Browse Source
This commit is contained in:
Jim Martens
2014-11-05 18:40:49 +01:00
parent 0bcb3d4371
commit 3e7ecc520e
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
fgi2/Blatt4/Aufgabenblatt4.tex
View File

@ -65,6 +65,8 @@
\(\lozenge \square(\lnot Teig \vee Hitze) \)& nein & nein \\ \(\lozenge \square(\lnot Teig \vee Hitze) \)& nein & nein \\
\(\square \lozenge(\lnot Teig \vee Hitze)\) & ja & ja \\ \(\square \lozenge(\lnot Teig \vee Hitze)\) & ja & ja \\
\(\square (Hitze \;\mathcal{U}\; Backen)\) & nein & nein \\ \(\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{tabular}
\end{document} \end{document}