dev_madipedia

Aussageform

Version vom 16. April 2018, 18:21 Uhr von Hischer (Diskussion | Beiträge) (Basis-Fassung)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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 (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle a^b=b^a} eine Aussageform, nicht aber der Term Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (a+b)^2} .[1]

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.:

Variablenbindung

Literatur

Quellen

  1. ↑ Die weiteren Ausführungen folgen [Hischer 2012, 71].


Der Beitrag kann wie folgt zitiert werden:
Madipedia (2018): Aussageform. Version vom 16.04.2018. In: dev_madipedia. URL: http://dev.madipedia.de/index.php?title=Aussageform&oldid=29877.
Abgerufen von „http://dev.madipedia.de/index.php?title=Aussageform&oldid=29877“