Aussageform

Der Ausdruck Aussageform ist mehrdeutig. Er bezeichnet:

• einen Ausdruck mit einer Variable, der in eine Aussage übergehen kann (Aussageform i.S.d. Mathematik und Prädikatenlogik);
• einen Ausdruck, in der eine Aussagenvariable vorkommt (Aussageform i.S.d. Aussagenlogik).

Zur Vermeidung von Verwechslungen sollte im letzten Fall von "Aussageschema" gesprochen werden.

In der herrschenden Bedeutung steht der Ausdruck "Aussageform" für die Aussageform im Sinne der Mathematik und Prädikatenlogik. Hier sind Aussageformen Ausdrücke, die eine oder mehrere Variablen enthalten und durch Belegung der Variablen in eine wahre oder falsche Aussage übergehen.

Beispiele:

• aus der Mathematik: die Aussageform "A(x)" = "x + 5 = 10" (für x=5 wahr, für x=6 falsch);
• aus der Prädikatenlogik:
  • die Aussageform "x lacht" = "L(x)" (für x = lachender Peter wahr und für x = weinender Jörg falsch);
  • die Aussageform "x bewundert y" = "B(x,y)";
  • die Aussageform "x ist ein Schauspieler und y bewundert x" = "SCH(x) und B(x,y)".

In der Prädikatenlogik erster Stufe muss die Variable eine Gegenstandsvariable (Individuenvariable) sein. In einem strengen Sinn spricht man nur dann von einer Aussageform, wenn der betreffende Ausdruck mindestens eine freie Gegenstandsvariable enthält.

Auf Grund der Unbestimmtheit der freien Variable haben Aussageformen keinen bestimmbaren Wahrheitswert und sind daher keine Aussage (im technischen Sinn).

Die Aussageform kann in zwei Weisen zu einer Aussage umgeformt werden: (a) indem man für die Variablen Konstanten einsetzt oder (b) indem man die freien Variablen durch Quantoren bindet.

Aussageformen mit einer freien Variablen werden oft so verstanden, dass sie Begriffe und Eigenschaften ausdrücken ("x ist ein Mensch", "x ist rosa").

Aussageformen mit mehreren freien Variablen werden oft als Relationen aufgefasst, zum Beispiel "x ist größer als y", "x und y haben ein gemeinsames Kind z", "x + 1 = y und y + 1 = z".

Die Beziehung des Begriffs Aussageform und des Ausdrucks "logische Formel" hängt auf Grund seiner Mehrdeutigkeit von der Definition der logischen Formel ab.

Im Gegensatz zur (mathematischen) Formel sind bei der Aussageform Relationen, logische Junktoren und die Quantifikation erlaubt.

Im Gegensatz zum Typ eines Tupels in einer logischen Struktur ist die Aussageform eine rein syntaktische Darstellung, die unabhängig von einem Modell definierbar ist. Formal ist ein Typ eine Aussageform.

In der Prädikatenlogik erster Stufe können Aussageformen induktiv über ihren Aufbau definiert werden:

• Wenn $t_1, \ldots, t_k$ Terme sind und R ein k-stelliges Relationssymbol, dann gilt
  • t₁ = t₂ ist eine (atomare) Aussageform,
  • $R(t_1, \ldots, t_k)$ ist eine (atomare) Aussageform

mit allen Variablen der Terme als freie Variablen in ihr,

• wenn φ,φ₁,φ₂ Aussageformen sind, dann gilt
  • $\neg \varphi$ ist eine (zusammengesetzte) Aussageform,
  • $\varphi_1 \wedge \varphi_2$ ist eine (zusammengesetzte) Aussageform,
  • $\varphi_1 \vee \varphi_2$ ist eine (zusammengesetzte) Aussageform;
  • $\varphi_1 \rightarrow \varphi_2$ ist eine (zusammengesetzte) Aussageform,
  • $\varphi_1 \leftrightarrow \varphi_2$ ist eine (zusammengesetzte) Aussageform;

mit allen freien Variablen der φ_i als freie Variablen,

• wenn x eine freie Variable in einer Aussageform φ ist, dann gilt
  • $\exists x \varphi$ ist eine (zusammengesetzte) Aussageform,
  • $\forall x \varphi$ ist eine (zusammengesetzte) Aussageform

mit allen freien Variablen von φ außer x als freie Variablen.

Siehe auch

• Aussageschema; Logische Aussage, Typ (Modelltheorie), Term, Signatur (Modelltheorie), Aussagenlogik, Prädikatenlogik

Weblinks

 Wiktionary: Aussageform – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

 Wikibooks: Mathe für Nicht-Freaks: Logik: Aussageform – Lern- und Lehrmaterialien

• http://mathworld.wolfram.com/SententialFormula.html

Literatur

• Duden, Basiswissen Schule, Mathematik Abitur (2003), S. 11
• Hilbert/Ackermann, Grundzüge der mathematischen Logik, 6. Aufl. (1972), S. 9
• Menne, Logik, 6. Aufl. (2001), S.59
• Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Aussageform u. /Aussagenschema