\documentclass[a4paper,12pt]{scrartcl}

\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage[ngerman]{babel}
\usepackage{fontenc}
\usepackage[pdftex]{graphicx}
\usepackage[left=2cm,right=2cm,top=3cm,bottom=4cm]{geometry}

%opening
\title{Offene Formeln}
\author{Malvin Gattinger}
\date{}

\begin{document}
\parindent=0cm
\maketitle

Eine offene Formel ist eine PredLog Formel, die eine Individuenvariable, also
ein $x$, $y$ oder $z$ verwendet, ohne dass diese durch einen Quantor eingeführt
wird.

Wir erhalten eine offene Formel indem wir eine wohlgeformte Formel aus PredLog
nehmen, in der mindestens eine Individuenkonstante (also ein $a$, $b$ oder $c$)
vorkommt, und diese durch eine Individuenvariable ersetzen.

Wichtig: Eine offene Formel ist keine wohlgeformte Formel in PredLog. Nur wenn
mensch vor eine Offene Formel einen Quantor mit der Individuenvariable setzt
erhält mensch wieder eine wohlgeformte Formel. Im Bezugsbereich eines Quantors
steht also eine offene Formel.

\begin{itemize}
 \item[Bsp.] \textbf{Offene Formeln:}
 \item $F x$
 \item $G ^2 xa$
 \item $H ^2 xy$
 \item $\forall x F ^2 xy$ - ist offen weil das $y$ keinen Quantor hat!
 \item[Bsp.] \textbf{Keine offene Formeln: }
 \item $F a$
 \item $ \forall x Fx $
 \item[Bsp.] \textbf{Wohlgeformte Formeln mit Quantoren:}
 \item[] (Die enthaltenen offenen Formeln sind unterstrichen. Dieser Teil der
Formeln wird auch als Bezugsbereich des jeweiligen Quantors bezeichnet.)
 \item $\exists x \underline{G x}$
 \item $\forall x \underline{\forall z \underline{F ^3 xza}} $ - Hier ist der längere unterstrichene Teil auch eine offene Formel, da noch nicht alle Individuenvariablen einen Quantor haben.
\end{itemize}

\textbf{Historische Bemerkung:} \\
In mancher Literatur werden die Individuenvariablen in offenen Formeln auch
\emph{Scheinvariablen} genannt, so z.B. in der ersten Version der Principia
Mathematica von Russell und Whitehead. Diese Unterscheidung erwies sich
jedoch als unnötig.

\end{document}
