
\newcommand{\wert}{\operatorname{\mathsf{wert}}}
\newcommand{\BB}{\mathbb{B}}

\begin{slide}{Inferenz von Werten}

  \begin{itemize}
  \item 
Grundbereich: Aussagen der Form $\wert(f,b)$
mit $f \in $Formeln, $b\in\BB = \{0,1\}$
\item
Axiome: $\wert(\mathsf{T},1), \wert(\mathsf{F},0)$
\item 
Regeln: 
\( \displaystyle
\frac{\wert(X,1),\wert(Y,1)}{\wert(X\wedge Y,1)},
\frac{\wert(X,0)}{\wert(X\wedge Y,0)},
\frac{\wert(Y,0)}{\wert(X\wedge Y,0)},
\dots
\)
\end{itemize}
Beispiel: leite $\wert((T\wedge F)\wedge (T\wedge T),0)$ ab.

\bigskip

Durch ein Inferenzsystem kann man die Semantik von
Ausdrücken (Programmen) spezifizieren.

(hier: dynamische Semantik)

\end{slide}

