Aussageform

Eine Aussageform ist ein formal-sprachliches Gebilde, das mindestens eine Variable enthält und bei sinnvoller Bindung oder Belegung aller vorkommenden Variablen in eine Aussage übergeht. Beispielsweise ist Fehler beim Parsen (Konvertierungsfehler. Der Server („https://en.wikipedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle a^{b}=b^{a}} eine Aussageform, nicht aber der Term Fehler beim Parsen (Konvertierungsfehler. Der Server („https://en.wikipedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (a+b)^{2}} .

Grundsätzliche Möglichkeiten zur Überführung einer Aussageform in eine Aussage

Variablenbelegung

Bei der Variablenbelegung werden für die Variablen konkrete Werte eingesetzt, und die Variablen sind dann Platzhalter für solche Werte, z. B.:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle x^2+1=0} ist eine Aussageform. Für $x$ können Zahlen eingesetzt werden:
  Einsetzung von $1$ führt zur falschen Aussage Fehler beim Parsen (Konvertierungsfehler. Der Server („https://en.wikipedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 2=0} , also Fehler beim Parsen (Konvertierungsfehler. Der Server („https://en.wikipedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 2=0\Leftrightarrow } F (F ist die konstante Aussage mit dem Wahrheitswert „f“).
  Einsetzung von i (mit i$^{2}=-1$) führt zur wahren Aussage Fehler beim Parsen (Konvertierungsfehler. Der Server („https://en.wikipedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 0=0} , also analog Fehler beim Parsen (Konvertierungsfehler. Der Server („https://en.wikipedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 0=0\Leftrightarrow } W.

Variablenbindung

Die Variablenbindung findet beispielsweise mit Hilfe von 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:

• Fehler beim Parsen (Konvertierungsfehler. Der Server („https://en.wikipedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle P(x,y)} sei eine Aussageform mit zwei Variablen (z. B. eine Gleichung oder eine Ungleichung).
  Eine mögliche Quantifizierung der Variablen $x$ ist (mit einer Menge $M$): Fehler beim Parsen (Unbekannte Funktion „\space“): {\displaystyle \space\bigwedge_{x \in M}P(x,y)\space} oder in anderer Schreibweise Fehler beim Parsen (Unbekannte Funktion „\space“): {\displaystyle \space \space\forall x \in M: \space P(x,y) \space} .
  Hier ist $x$ eine gebundene Variable und $y$ eine freie Variable: $x$ ist „von außen“ nicht mehr erkennbar und kann durch eine andere Variable (außer $y$) ausgetauscht werden, hingegen kann $y$ als „außen noch erkennbare“ Variable nicht ohne Weiteres ausgetauscht werden.

Literatur

• Hischer, Horst: Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung, Wiesbaden: Springer Spektrum 2012, ISBN 978-3-8349-1888-1.

Der Beitrag kann wie folgt zitiert werden: Madipedia (2018): Aussageform. Version vom 17.04.2018. In: madipedia. URL: http://madipedia.de/index.php?title=Aussageform&oldid=29884.