Individuenvariable

Individuenvariable

Die Individuenvariable bezeichnet eine Variable, die als Platzhalter für eine Individuenkonstante, einen Individuennamen steht.

Synonyme sind "Gegenstandsvariable"[1] oder "Individualvariable"[2].

Symbolisiert werden Individuenvariablen zumeist durch lateinische Kleinbuchstaben x, y, z.

Verwandte Unterbegriffe des gemeinsamen Oberbegriffs Variable (Kohyponyme) sind unter anderem Prädikatvariable und Aussagenvariable.

Gegenbegriff (Antonym) ist die Individuenkonstante (der Individuenname).

Individuenvariablen ermöglichen es, in All- oder Existenzaussagen über Individuen des zugrundeliegenden Individuenbereichs zu sprechen, ohne dabei konkrete Individuen zu nennen.

Man sagt dann

„für jedes Individuum x gilt: ...." (symbolisch:  \forall (x) .... )

oder

„es gibt mindestens ein Individuum x, für das gilt:..." (symbolisch:  \exists (x) ).

Falls in einer Aussagenfunktion Individuenvariablen als einzige freie Variable vorkommen und man die Individuenvariable durch Individuenkonstante ersetzt, erhält man eine Individualaussage oder singuläre Aussage.

  1. Essler/Martínez, Grundzüge der Logik I, 4. Aufl. (1991), S. 174
  2. Copi, Einführung in die Logik (1998), S.172; Wunderlich, Arbeitsbuch Semantik, 2. Aufl. (1991), S.345

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

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

  • Individuenvariable — Individu|envariable,   Gegenstandsvariable, in Logik und Mathematik ein Symbol, das als Variable für Gegenstände (nullter Stufe) aus einem Grundbereich steht; Gegensatz: Prädikatvariable …   Universal-Lexikon

  • 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

  • Individuen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Unter einem Individuum (lat.: unteilbar, aber auch nicht zu… …   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

  • Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • PK1 — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Prädikatenkalkül — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Prädikatenlogik — oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund …   Deutsch Wikipedia

  • Prädikatenlogik zweiter Stufe — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Prädikatorenlogik — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

Share the article and excerpts

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