<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Inferenz allgemeingÃ¼ltige Formeln}

Grundbereich: aussagenlogische Formeln 
(mit Variablen und Implikation)

Axiom-Schemata:
\(\displaystyle
\frac{}{X \to(Y \to X)}, 
\frac{}{(X\to(Y\to Z)) \to ((X \to Y)\to(X\to Z))}
\)
Regel-Schema (\emph{modus ponens}): 
\(\displaystyle
\frac{X\to Y, X}{Y}
\)

Beobachtungen/Fragen:
\begin{itemize}
\item Ãœbung (autotool): Leite $p\to p$ ab.
\item (\emph{Korrektheit}):
  jede ableitbare Formel ist allgemeingÃ¼ltig
  
\item (\emph{VollstÃ¤ndigkeit}): 
  sind alle allgemeingÃ¼ltigen Formeln (in dieser Signatur)
  ableitbar?
\end{itemize}

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