\begin{slide}{Formeln und Modellmengen}

Idee: logische Verknüpfungen $\Rightarrow$
passende Operationen auf (kodierten) Modellmengen

\begin{itemize}\itemsep 0pt
\item $\Mod(\textrm{False})=\emptyset$,
$\Mod(\neg F) = \dots$
\item $\Mod(F_1\wedge F_2) =
 \Mod(F_1) \cap \Mod(F_2)$
\item $\Mod(\exists x_i.F) = \textrm{proj}_i (\Mod(F))$

Projektion entlang $i$-ter Komponente:
$\textrm{proj}_i : \NN^k \to \NN^{k-1}:$

$(x_1,\ldots,x_k)\mapsto 
(x_1,\ldots,x_{i-1},x_{x+1},\ldots,x_k)$
\end{itemize}


zu zeigen ist, daß sich diese Operationen
effektiv realisieren lassen 
(wobei Ein- und Ausgabe durch endl. Automaten
dargestellt werden)

Ü: warum werden andere Verknüpfungen 
nicht benötigt?


\end{slide}
