<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Syntax der PrÃ¤dikatenlogik}
\begin{itemize}\itemsep 0pt\parskip 2pt
\item Signatur: Name und Stelligkeit fÃ¼r
  \begin{itemize}
  \item Funktions-
  \item und Relationssymbole
  \end{itemize}
\item Term: 
  \begin{itemize}
  \item Funktionssymbol mit Argumenten (Terme)
  \item Variable
  \end{itemize}
\item Formel 
  \begin{itemize}
  \item atomar: Relationssymbol mit Argumenten (Terme)
  \item Boolesche VerknÃ¼pfungen (von Formeln)
  \item Quantor Variable Formel
  \end{itemize}
\item 
  \begin{itemize}
  \item 
  gebundenes und freies Vorkommen von Variablen
\item
  SÃ¤tze ($=$ geschlossene Formeln)
  \end{itemize}
\end{itemize}

\end{slide}
</pre></body></html>