Aussageform: Unterschied zwischen den Versionen

1.700 Bytes hinzugefügt ,  16. April 2018
vorläufiger Abschluss der Basis-Version.
[unmarkierte Version][unmarkierte Version]
(Basis-Fassung)
 
(vorläufiger Abschluss der Basis-Version.)
Zeile 2: Zeile 2:
== Grundsätzliche Möglichkeiten zur Überführung einer Aussageform in eine Aussage ==
== Grundsätzliche Möglichkeiten zur Überführung einer Aussageform in eine Aussage ==
===Variablenbelegung ===
===Variablenbelegung ===
Bei der Variablenbelegung werden für die Variablen konkrete Werte eingesetzt, und die Variablen sind dann Platzhalter für solche Werte, z. B.:
Bei der '''Variablenbelegung''' werden für die Variablen konkrete Werte eingesetzt, und die Variablen sind dann Platzhalter für solche Werte, z. B.:
* <math>x^2+1=0</math> ist eine Aussageform. Für <math>x</math> können Zahlen eingesetzt werden:<br />Einsetzung von <math>1</math> führt zur falschen Aussage <math>2=0</math>, also <math>2=0\Leftrightarrow</math>F (F ist die konstante Aussage mit dem Wahrheitswert „f“).<br />Einsetzung von i (mit i<math>^2=-1</math>) führt zur wahren Aussage <math>0=0</math>, also analog <math>0=0\Leftrightarrow</math>W.
 
=== Variablenbindung ===
=== Variablenbindung ===
 
Die '''Variablenbindung''' findet beispielsweise mit Hilfe von [https://de.wikipedia.org/wiki/Quantor Quantoren] statt, indem nicht nur ein konkreter Wert für die Einsetzung angeboten wird, sondern z. B. ein ganzer Bereich. Hierfür kommen unter anderem '''Allquantoren''' und '''Existenzquantoren''' in Frage, etwa:
* <math>P</math> (x,y) sei eine Aussageform mit zwei Variablen (z. B. eine Gleichung oder eine Ungleichung).<br />Eine mögliche Quantifizierung der Variablen <math>x</math> ist: <math>\space\bigwedge_{x \in M}P(x,y)\space</math> oder gleichbedeutend <math>\space \space\forall x \in M: \space P(x,y) \space</math> (mit einer Menge <math>M</math>). <br/> Hier ist <math>x</math> eine '''gebundene Variable''' und <math>y</math> eine '''freie Variable''': <math>x</math> ist „von außen“ nicht mehr erkennbar und kann durch eine andere Variable (außer <math>y</math>) ausgetauscht werden, hingegen kann <math>y</math> als „außen noch erkennbare“ Variable nicht ohne Weiteres ausgetauscht werden.<ref>Das entspricht den „lokalen Variablen“ und „globalen Variablen“ bei Programmiersprachen.</ref>
<!--== Weitere Bedeutungen ==
<!--== Weitere Bedeutungen ==
Weitere Bedeutungen und Standpunkte können in weiteren Abschnitten erläutert werden. Diese sollten geeignet benannt werden.-->
Weitere Bedeutungen und Standpunkte können in weiteren Abschnitten erläutert werden. Diese sollten geeignet benannt werden.-->
<!--== Forschungsumfeld ==
<!--== Forschungsumfeld ==
In diesem Abschnitt sollen [[:Kategorie:Institutionen|Arbeitsgruppen]] und [[:Kategorie:Personen|Personen]] benannt werden, die sich mit diesem Begriff in der Forschung beschäftigen. Bitte nutzen Sie die Möglichkeit, auf deren Einträge in Madipedia zu verweisen, auch falls eine Person noch keinen eigenen Eintrag hat.-->
In diesem Abschnitt sollen [[:Kategorie:Institutionen|Arbeitsgruppen]] und [[:Kategorie:Personen|Personen]] benannt werden, die sich mit diesem Begriff in der Forschung beschäftigen. Bitte nutzen Sie die Möglichkeit, auf deren Einträge in Madipedia zu verweisen, auch falls eine Person noch keinen eigenen Eintrag hat.-->
Zeile 13: Zeile 15:
<!--== Genese ==
<!--== Genese ==
Unter der Überschrift Genese können historische Zusammenhänge erläutert werden und die Entwicklung eines Begriffes über die Zeit hinweg dokumentiert werden.<ref name="literatur1"/>-->
Unter der Überschrift Genese können historische Zusammenhänge erläutert werden und die Entwicklung eines Begriffes über die Zeit hinweg dokumentiert werden.<ref name="literatur1"/>-->
<!--== Fachdidaktische Diskussion ==
<!--== Fachdidaktische Diskussion ==
Unter dieser Überschrift können fachdidaktische Kontroversen zum Begriff beschrieben werden. Die Diskussion ''über die Seite selbst'' sollte auf der dazugehörigen [[Diskussion:{{PAGENAME}}|Diskussionsseite]] (siehe die Reiter über dem Artikel) geführt werden.-->  
Unter dieser Überschrift können fachdidaktische Kontroversen zum Begriff beschrieben werden. Die Diskussion ''über die Seite selbst'' sollte auf der dazugehörigen [[Diskussion:{{PAGENAME}}|Diskussionsseite]] (siehe die Reiter über dem Artikel) geführt werden.-->  
== Literatur ==
== Literatur ==
* Hischer, Horst: Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung, Wiesbaden: Springer Spektrum 2012, ISBN 978-3-8349-1888-1.


== Quellen ==
<!--== Quellen ==-->
<references />
<references />
{{zitierhinweis}}
{{zitierhinweis}}