„Individuenvariable“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
Die Seite wurde neu angelegt: „Individuen{{–}}Variable {{lat.-dt.}}“ |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
[[Individuen]]{{–}}[[Variable]] {{lat.-dt.}} | [[Individuen]]{{–}}[[Variable]] {{lat.-dt.}}<p>Die '''Individuenvariable''' bezeichnet eine [https://de.wikipedia.org/wiki/Variable_(Logik) Variable], die als Platzhalter für eine Individuen[https://de.wikipedia.org/wiki/Konstante_(Logik) 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 [https://de.wikipedia.org/wiki/Variable_(Logik) Variable] ([https://de.wikipedia.org/wiki/Kohyponym Kohyponyme]) sind unter anderem [https://de.wikipedia.org/wiki/Pr%C3%A4dikatvariable Prädikatvariable] und [https://de.wikipedia.org/wiki/Aussagenvariable Aussagenvariable].</p><p>''Gegenbegriff'' ([https://de.wikipedia.org/wiki/Antonym Antonym]) ist die [https://de.wikipedia.org/wiki/Individuenkonstante 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: ∀(𝑥) …) </p><p>oder</p><p>„es gibt mindestens ein Individuum 𝑥, für das gilt:...“ (symbolisch: ∃(𝑥) <span class="mwe-math-element">[[file:018bb0d510ba328a652080f83e417cb7dd2c6fcf|alt={\displaystyle \exists (x)}|31x20px]]</span>).</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> | |||
Version vom 19. August 2024, 14:51 Uhr
Individuen–Variable Vorlage:lat.-dt.
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: ∃(𝑥) {\displaystyle \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.
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