Freie Variable und gebundene Variable

Freie Variable und gebundene Variable

In der Mathematik und Logik bezeichnet man eine Variable als in einer Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operator (Mathematik)s auftritt. Sind hingegen alle Vorkommen der Variable innerhalb der Formel an Operatoren gebunden, bezeichnet man die Variable als in dieser Formel gebunden. Eine Formel ohne freie Variablen wird geschlossene Formel, eine Formel mit mindestens einer freien Variablen wird offene Formel genannt.

Zum Beispiel ist in der Prädikatenlogik eine Individuenvariable in einer prädikatenlogischen Formel frei, wenn sie in dieser Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor (\forall oder \exists) und nur innerhalb seines Bindungsbereichs verwendete Variable heißt gebunden. In der Prädikatenlogik wird eine geschlossene Formel, das heißt eine Formel ohne freie Variablen auch Aussage oder Satz genannt; eine offene Formel, das heißt eine Formel mit freien Variablen wird auch Aussageform genannt.

Ein und dieselbe Variable kann in einer Formel sowohl freie als auch gebundene Vorkommen haben. Die Kenntnis von freien und gebundenen Variablen wird zum Beispiel für die Bereinigung von Formeln benötigt.

Gebundene Variablen kommen stets bei der Notation von Klassen und Mengen vor, die in der Mathematik überall gebraucht werden. Ebenso kommen sie vor beim Lambda-Kalkül und bei Ausdrücken mit einer gebundenen Integrationsvariable oder Summationsvariable.

Inhaltsverzeichnis

Prädikatenlogische Definition

Beispiele

  • In der (geschlossenen) Formel \forall xP(x) ist die Variable \,x gebunden und nicht frei.
  • In der (offenen) Formel \forall x P(x) \and Q(x) kommt die Variable \,x sowohl gebunden als auch frei vor: Gebunden ist ihr Vorkommen in der Teilformel \forall x P(x), frei ist ihr Vorkommen in der Teilformel \,Q(x), auf die sich der Allquantor nicht mehr erstreckt.
  • In der (offenen) Formel \forall x ( P(x) \and Q(x,y)) ist \,x gebunden und ist \,y frei.
  • In der Formel für die Klasse \,\{x|A(x)\} ist die Variable \,x gebunden und nicht frei.
  • In der Formel für die Potenzmenge \mathcal Pa = \{x|x\subseteq a\} ist die Variable \,x gebunden und \,a frei.

Weitere Begriffe

  • Gebundene Umbenennung: Eine durch einen Quantor gebundene Variable kann durch eine andere (vorher nicht vorkommende) ersetzt werden, wobei eine logisch äquivalente Formel entsteht. Beispiel: Aus \forall x P(x) \and Q(x,y) entsteht durch gebundene Umbenennung die Formel \forall z P(z) \and Q(x,y).
  • Vollfreie Variable: Eine freie Variable ohne gebundenes Vorkommen nennt man auch vollfrei. Durch gebundene Umbenennung kann man jede Formel in eine logisch äquivalente umformen, in der alle freien Variablen tatsächlich vollfrei sind.

Mathematische Notationen mit gebundenen Variablen

In den folgenden mathematischen Notationen (und vielen weiteren) wird eine gebundene Variable verwendet:

\sum_{i=1}^{n}a_i (Summe endlich vieler Werte) i ist gebunden, n und a sind frei
\int_a^b f(x)\,\mathrm dx (Bestimmtes Integral) x ist gebunden, a, b und f sind frei
\lim_{n\to\infty} a_n (Grenzwert einer unendlichen Folge) n ist gebunden, a ist frei
\lim_{x \to x_0} f(x) (Grenzwert einer Funktion an der Stelle x0) x ist gebunden, x0 und f sind frei

Literatur

H.-P. Tuschik, H. Wolter: Mathematische Logik – kurzgefaßt. Spektrum, Akad. Verl., Heidelberg 2002, ISBN 3-8274-1387-7.

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Freie Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

  • Variable (Logik) — Variable bezeichnet in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.[1] Im Gegensatz zu logischen Konstanten haben Variablen „keine selbständige Bedeutung“[2] und sind… …   Deutsch Wikipedia

  • Gebundene Umbenennung — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

  • Gebundene Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

  • Geschlossene Formel — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

  • Aussagenvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… …   Deutsch Wikipedia

  • Prädikatvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… …   Deutsch Wikipedia

  • Lambda-Kalkül — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Sie beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter. Inhaltsverzeichnis 1 Geschichte 2 Der… …   Deutsch Wikipedia

  • Alpha-Konversion — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… …   Deutsch Wikipedia

  • Lambda-Ausdruck — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”