<LATEX language="en">
Mathematical Example Module
</LATEX>
<LATEX language="de">
Mathematisches Beispielmodul
</LATEX>
This should contain propositional logic formulas.
Hier sollen aussagenlogische Formeln stehen.
Michael Meyling
<LATEX language="en">
Propositional Logic
</LATEX>
<LATEX language="de">
Aussagenlogik
</LATEX>
<LATEX language="en">Simple Formulas</LATEX>
<LATEX language="de">Einfache Formeln</LATEX>