\chapter{Aussagenlogik}
\label{aussagenlogik}
    Im Folgenden werden nur ein paar zentrale Aspekte dargestellt.
    Für weitere Informationen siehe Zusammenfassung KB Kapitel 1.
    \section{Syntax}
    \label{aussagenlogik: syntax}
        \includegraphics[width = \textwidth]{syntax_aussagenlogik.png}

    \section{Operatoren}
    \label{aussagenlogik: operatoren}
        \includegraphics[width = \textwidth]{aussagenlogik.png}

    \section{Äquivalenzen}
    \label{aussagenlogik: aequivalenzen}
        \includegraphics[width = \textwidth]{aussagenlogik_äquivalenzen.png}