
\begin{slide}{Definition}

ein \emph{Inferenz-System} $I$ besteht aus
\begin{itemize}
\item Regeln (besteht aus Prämissen, Konklusion)

  Schreibweise $\frac{P_1, \ldots, P_n}{K}$

\item Axiomen ($=$ Regeln ohne Prämissen)
\end{itemize}

eine \emph{Ableitung} für $F$ bzgl. $I$ ist ein Baum:
\begin{itemize}
\item jeder Knoten ist mit einer Formel beschriftet
\item jeder Knoten (mit Vorgängern) entspricht Regel von $I$
\item Wurzel ist mit $F$ beschriftet
\end{itemize}
Schreibweise: $I \vdash F$


\end{slide}

