„Individuenvariable“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
Die Seite wurde neu angelegt: „Individuen{{–}}Variable {{lat.-dt.}}“ |
K Textersetzung - „{{lat.-dt.}}“ durch „Sprachstufe::lat.-deu.“ |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
[[Individuen]]{{–}}[[Variable]] | [[Individuen]]{{–}}[[Variable]] [[Sprachstufe::lat.-deu.]]<p>Die '''Individuenvariable''' bezeichnet eine [[Variable (Logik)|Variable]], die als Platzhalter für eine Individuen[[Logikkonstante|konstante]], einen Individuennamen steht.</p><p>''Synonyme'' sind "Gegenstandsvariable"<sup id="cite_ref-1" class="reference">[https://de.wikipedia.org/wiki/Individuenvariable?wprov=srpw1_0#cite_note-1 [1]]</sup> oder "Individualvariable"<sup id="cite_ref-2" class="reference">[https://de.wikipedia.org/wiki/Individuenvariable?wprov=srpw1_0#cite_note-2 [2]]</sup>.</p><p>''Symbolisiert'' werden Individuenvariablen zumeist durch lateinische Kleinbuchstaben 𝑥, 𝑦, 𝑧.</p><p>Verwandte Unterbegriffe des gemeinsamen Oberbegriffs [[Logikvariable|Variable]] ([[Kohyponyme]]) sind unter anderem [[Prädikatvariable]] und [[Aussagenvariable]].</p><p>''Gegenbegriff'' ([https://de.wikipedia.org/wiki/Antonym Antonym]) ist die [[Individuenkonstante]] (der [[Individuenname]]).</p><p>Individuenvariablen ermöglichen es, in All- oder Existenzaussagen über [https://de.wikipedia.org/wiki/Individuum Individuen] des zugrundeliegenden Individuenbereichs zu sprechen, ohne dabei konkrete Individuen zu nennen.</p><p>Man sagt dann</p><p>„für jedes Individuum 𝑥 gilt: ....“ (symbolisch: <big>∀</big>(𝑥) …) </p><p>oder</p><p>„es gibt mindestens ein Individuum 𝑥, für das gilt:...“ (symbolisch: <big>∃</big>(𝑥)).</p><p>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.</p><div class="mw-heading mw-heading2"> | ||
== Einzelnachweise == | |||
</div> | |||
#<span class="reference-text">Essler/Martínez, Grundzüge der Logik I, 4. Aufl. (1991), S. 174</span> | |||
#<span class="reference-text">Copi, Einführung in die Logik (1998), S. 172; Wunderlich, Arbeitsbuch Semantik, 2. Aufl. (1991), S. 345</span> | |||
Aktuelle Version vom 8. Juni 2025, 06:27 Uhr
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 𝑥, 𝑦, 𝑧.
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 𝑥 gilt: ....“ (symbolisch: ∀(𝑥) …)
oder
„es gibt mindestens ein Individuum 𝑥, für das gilt:...“ (symbolisch: ∃(𝑥)).
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.
Einzelnachweise
- Essler/Martínez, Grundzüge der Logik I, 4. Aufl. (1991), S. 174
- Copi, Einführung in die Logik (1998), S. 172; Wunderlich, Arbeitsbuch Semantik, 2. Aufl. (1991), S. 345