\begin{slide}{Aussagenlogik: Syntax}
aussagenlogische Formel:
\begin{itemize}
\item elementar: Variable $v_1,\ldots$ 
\item zusammengesetzt: durch Operatoren
  \begin{itemize}
  \item einstellig: Negation
  \item zweistellig: Konjunktion, Disjunktion, Implikation, Äquivalenz
  \end{itemize}
\end{itemize}
\end{slide}
