Schriftbild, Absätze und Auflistungen einstellen
KrischiTine
Beitrag
von KrischiTine » Sa 23. Jul 2016, 22:52
Oh Mist, ich habe den zweiten Absatz nicht in den Code geschrieben. Sorry!
Hier nun richtig:
\documentclass[twoside,titlepage,12pt]{report}
\usepackage{german,a4}
\usepackage[clearempty]{titlesec}
\usepackage{graphicx}
\usepackage{graphics}
\usepackage{latexsym}
\usepackage{amsmath}
%\usepackage{mathtools} erzeugt Fehlermeldungen
\usepackage{amsfonts}
\usepackage{enumitem}
\usepackage{fixltx2e}
%\usepackage[ngerman]{babel} erzeugt ebenfalls Fehlermeldungen
\usepackage{parskip}
\begin{document}
Die Syntax der Formeln wird folgenderma{\ss}en definiert:
\begin{align*}
Zustandsformeln: \, \varphi ::&= \textit{p} \mid \neg \varphi \mid \varphi \vee \varphi \mid \ll{ \! \! A \! \!} \gg{\!} \Phi \\\
Pfadformeln: \, \Phi ::&= \varphi \mid \neg \Phi \mid \Phi \vee \Phi \mid{\text{X}} \Phi \mid \Phi{\text{U}} \Phi \mid \Phi{\text{R}} \Phi
\end{align*}
Die elementare Aussage \textit{p} $\in$ $\Pi$, die aussagenlogische Formel $\varphi$ und die Konnektoren sind aus der Aussagenlogik bekannt.
\end{document}
KrischiTine
Beitrag
von KrischiTine » Sa 23. Jul 2016, 23:18
Ich habe das Problem durch noch mehr Herumprobieren nun gelöst.
Danke nochmal für die Hilfe!
u_fischer
Forum-Meister
Beiträge: 4266 Registriert: Do 22. Nov 2012, 11:09
Kontaktdaten:
Beitrag
von u_fischer » So 24. Jul 2016, 00:11
Ich kann in einem aktuellen TeX-System dein Problem nicht reproduzieren. Abgesehen davon solltest du wirklich nicht german und a4 benutzen. Johannes und ich haben die Pakete aus sehr gutem Gründen entfernt. fixltx2e braucht man heutzutage auch nicht mehr.
Bartman
Forum-Meister
Beiträge: 2456 Registriert: Do 16. Jul 2009, 21:41
Wohnort: Hessische Provinz
Beitrag
von Bartman » So 24. Jul 2016, 01:19
Mein Änderungsvorschlag für den folgenden Bereich:
\begin{align*}
\text{Zustandsformeln: } \varphi ::&= \textit{p} \mid \neg \varphi \mid \varphi \vee \varphi \mid \ll{ \! \! A \! \!} \gg{\!} \Phi \\\
\text{Pfadformeln: } \Phi ::&= \varphi \mid \neg \Phi \mid \Phi \vee \Phi \mid{\text{X}} \Phi \mid \Phi{\text{U}} \Phi \mid \Phi{\text{R}} \Phi
\end{align*}
Die elementare Aussage $p \in \Pi$, die aussagenlogische Formel $\varphi$ und die Konnektoren sind aus der Aussagenlogik bekannt.