Vollfreie Variable

Vollfreie Variable

Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist.

Die Unterscheidung zwischen freien und vollfreien Variablen ist technischer Natur. Für die logische Bedeutung einer Formel ist sie ohne Relevanz, da man jede Formel durch gebundene Umbenennung in eine logisch äquivalente umformen kann, in der alle freien Variablen tatsächlich vollfrei sind.

Beispiele

  • In der Formel P(x) \and Q(x,y) sind sowohl x als auch y vollfreie Variablen.
  • In der Formel P(x) \and \forall x \ Q(x,y) ist y vollfrei, x hingegen nicht, da x sowohl ein freies als auch ein gebundenes Vorkommen hat.
  • Aus der Formel P(x) \and \forall x \ Q(x,y) kann man durch gebundene Umbenennung die logisch äquivalente Formel P(x) \and \forall z \ Q(z,y) erhalten, in der beide freien Variablen x und y vollfrei sind.

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

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

  • 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

  • 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

  • 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

  • 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… …   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

  • 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

  • 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

  • Vollfrei — Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist. Die Unterscheidung zwischen freien und vollfreien… …   Deutsch Wikipedia

Share the article and excerpts

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