Individuenvariable

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

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 Individuenvariable als einzige freie Variable vorkommen und man die Individuenvariable durch Individuenkonstante ersetzt, erhält man eine Individualaussage oder singuläre Aussage.

Quelle:

Artikel Individuenvariable aus der freien Enzyklopädie Wikipedia mit dieser Versionsgeschichte

Lizenz:

GFDL

Kategorien:

Lexikalischer Artikel