LaTeX Forum

\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.

\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} 

\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*}

\documentclass[twoside,titlepage,12pt,fleqn]{report}
\usepackage[ngerman]{babel}
\usepackage{graphicx}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{enumitem}


\begin{document}

Das ist der erste Absatz, der ganz normal und korrekt eingerückt ist. Hier steht einiges .... bla bla bla...... Dann kommen zwei logische Formeln, die links eingerückt werden:
\[
\text{Formel1:\quad} \varphi ::= p \mid  \neg\varphi \mid \varphi\vee\varphi \mid  \ll A \gg\Phi 
\]
Dieser Absatz ist nicht so eingerückt wie der erste und ich frage mich warum. Liegt das an den Formeln? Bringen die irgendwas durcheinander? ...... bla bla bla .... Text Ende....
\end{document} 

\documentclass[fleqn,twoside,titlepage,12pt]{report}
%\usepackage{german,a4}
\usepackage[ngerman]{babel}
\usepackage[clearempty]{titlesec}
\usepackage{graphicx}
%\usepackage{graphics}
\usepackage{latexsym}
%\usepackage{amsmath}
\usepackage{mathtools}
\usepackage{amsfonts}
\usepackage{enumitem}
%\usepackage{fixltx2e}

\usepackage{parskip}
\usepackage{blindtext}
\begin{document}


Das ist der erste Absatz, der ganz normal und korrekt eingerückt
ist. Hier steht einiges .... bla bla bla...... Dann kommen zwei
logische Formeln, die links eingerückt werden: \blindtext
\begin{align}
\varphi ::&= \textit{p} \mid \neg{\! \!} \! \varphi \mid \varphi \vee \varphi \mid \ll{ \! \! A \! \!} \gg{\! \!} \Phi \\\
\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}
Dieser Absatz ist nicht so eingerückt wie der erste und ich frage
mich warum. Liegt das an den Formeln? Bringen die irgendwas
durcheinander? ...... bla bla bla .... Text Ende....
\blindtext
\end{document}