Term

In der Mathematik ist ein Term eine sinnvolle Kombination aus Zahlen, Variablen, Symbolen für mathematische Verknüpfungen und Klammern. Terme können als die syntaktisch korrekt gebildeten Wörter oder Wortgruppen in der formalen Sprache der Mathematik gesehen werden.

In der Praxis wird der Begriff häufig benutzt, um über einzelne Bestandteile einer Formel oder eines größeren Terms zu reden. So kann man bspw. für die lineare Funktion f(x)=mx+b von einem linearen Term mx und einem konstanten Term b reden.

Umgangssprachliche Erklärung

Der Begriff „Term“ wird umgangssprachlich für alles verwendet, das eine Bedeutung trägt. Im engeren Sinn sind mathematische Gebilde gemeint, die man prinzipiell ausrechnen kann, zumindest wenn man den darin enthaltenen Variablen Werte zugewiesen hat. So ist zum Beispiel (x+y)^{2} ein Term, denn weist man den darin enthaltenen Variablen x und y einen Wert zu, so erhält auch der Term einen Wert. Statt Zahlen können hier auch andere mathematische Objekte in Betracht kommen,[1] so ist etwa (p_{1}\vee \neg p_{2})\wedge p_{3} ein Term, der einen Wert erhält, wenn man den booleschen Variablen p_{1},p_{2},p_{3} einen Wahrheitswert zuordnet.[2] Im Normalfall (einsortige Logik) nimmt die genaue mathematische Definition allerdings keinen Bezug auf die möglichen Wertzuweisungen, wie unten ausgeführt wird.

Grob kann man sagen, dass ein Term eine Seite einer Gleichung oder Relation, z.B. einer Ungleichung, ist. Die Gleichung oder Relation selbst ist kein Term, sie besteht aus Termen.

Mit Termen können üblicherweise folgende Operationen ausgeführt werden:

Häufig werden Terme oder Teilterme nach ihrer inhaltlichen Bedeutung benannt. Im Term {\tfrac  {1}{2}}mv^{2}+mgh, der in der Physik die Gesamtenergie eines Massepunktes beschreibt, nennt man den ersten Summanden „Term der kinetischen Energie“ und den zweiten „Term der potentiellen Energie“. Oft werden auch charakteristische Eigenschaften zur Benennung herangezogen. So ist mit dem „quadratischen Term“ in x^{3}+7x^{2}-2x+1 der Teilterm 7x^{2} gemeint, weil dies der Teilterm ist, der die Variable x in quadrierter Form enthält.

Formale Definition

Die genaue mathematische Definition eines Terms, wie sie in der mathematischen Logik gegeben wird, benennt Regeln, nach denen Terme aufgebaut werden. Ein Term ist dann jeder Ausdruck, der durch Anwendung solcher Regeln entsteht:

Die Menge aller Terme zu einer gegebenen Signatur {\boldsymbol  S} und Variablenmenge \mathcal V sei {\displaystyle {\boldsymbol {\mathcal {T}}}_{{\boldsymbol {S}},{\mathcal {V}}}}, für Terme ohne Variablen ({\displaystyle {\mathcal {V}}=\emptyset }) einfach {\displaystyle {\boldsymbol {\mathcal {T}}}_{\boldsymbol {S}}}.
Durch die Funktionssymbole werden Verknüpfungen verschiedener Stelligkeit zwischen den Elementen von {\displaystyle {\boldsymbol {\mathcal {T}}}_{{\boldsymbol {S}},{\mathcal {V}}}} bzw. {\displaystyle {\boldsymbol {\mathcal {T}}}_{\boldsymbol {S}}} induziert, mit denen diese Mengen von Zeichenketten selbst zu einer algebraischen Struktur, der Termalgebra bzw. Grundtermalgebra werden.
Siehe auch Elementare Sprache, Logische Formeln.

Anmerkungen

o  Ist f ein k-stelliges Funktionssymbol und sind {\displaystyle t_{1},\dotsc ,t_{k}} Terme, so ist {\displaystyle ft_{1},\dotsc ,t_{k}} ein Term.

Beispiel

{\tfrac  {xy}{4}} ist ein Term, denn

Anwendungen

Bildet man einen Term mit Variablen, so beabsichtigt man in Anwendungen häufig ein Ersetzen dieser Variablen durch bestimmte Werte, die einer gewissen Grundmenge bzw. Definitionsmenge entstammen. Zum Begriff des Terms selbst ist die Angabe einer solchen Menge nach obiger, formaler Definition nicht erforderlich. Man interessiert sich dann nicht mehr für den abstrakten Term, sondern für eine durch diesen Term definierte Funktion in einem bestimmten Modell.

So lautet eine Faustformel zum Ausrechnen des Anhalteweges (Bremsweg plus Reaktionsweg) eines Autos in Metern \left({\tfrac  {x}{10}}\right)^{2}+\left({\tfrac  {x}{10}}\cdot 3\right). Diese Zeichenkette ist ein Term. Wir beabsichtigen, für x die Geschwindigkeit des Autos in km pro Stunde einzusetzen, um den Wert, den der Term dann annimmt, als Bremsweg in Metern zu verwenden. Wenn ein Auto zum Beispiel 160 km/h fährt, liefert die Formel \left({\tfrac  {160}{10}}\right)^{2}+\left({\tfrac  {160}{10}}\cdot 3\right) einen Anhalteweg von 304 m.

Wir verwenden den Term hier zur Definition der Zuordnungsvorschrift einer Funktion f\colon \mathbb{R} _{0}^{+}\to \mathbb{R} _{0}^{+}, x\mapsto \left({\tfrac  {x}{10}}\right)^{2}+\left({\tfrac  {x}{10}}\cdot 3\right).

Terme selbst sind weder wahr noch falsch und haben auch keine Werte. Erst in einem Modell, das heißt mit Angabe einer Grundmenge für die auftretenden Variablen, können Terme Werte annehmen.

Algebraische Umformungen

Lange, komplizierte Terme können oft vereinfacht werden, indem man auf sie Rechenregeln anwendet, die den Wert des Terms unverändert lassen, beispielsweise das Kommutativgesetz, Assoziativgesetz oder Distributivgesetz:

{\displaystyle (x+y)(x-y)}    Ausmultiplizieren
{\displaystyle =x^{2}-xy+yx-y^{2}}     Kommutativgesetz anwenden
{\displaystyle =x^{2}-y^{2}}

Der Begriff des Terms sieht gemäß obiger Definition solche Umformungen nicht vor, es handelt sich jeweils um verschiedene Terme. Mit diesen algebraischen Umformungen ist stets gemeint, dass sich die Werte, die ein Term bei Wahl einer bestimmten Grundmenge annehmen kann, durch diese Umformungen nicht ändern. Das hängt von der Grundmenge ab! So sind obige Umformungen nur in solchen Grundmengen korrekt, in denen die verwendeten Gesetze wie zum Beispiel das Kommutativgesetz gelten.

Solche algebraischen Umformungen werden trotzdem Termumformungen genannt, da man nach in der vereinbarten Grundmenge geltenden Regeln von einem Term zu einem anderen übergeht, ohne dessen mögliche Werte zu ändern. Es werden damit folgende Ziele verfolgt:

Abgrenzung zum Ausdruck

Ausdrücke

Ein Ausdruck[4] ist wie ein Term eine formale Zeichenkette; ihr Aufbau ist gemäß einer Logik definiert, z.B. der Prädikatenlogik. In der Prädikatenlogik erster Stufe mit Gleichheit definiert man:[5]

  1. Sind t_{1},t_{2} Terme, so ist t_{1}=t_{2} ein Ausdruck.
  2. Sind t_{1},\dotsc ,t_{k} Terme und ist R ein k-stelliges Relationssymbol, so ist Rt_{1}\dotso t_{k} ein Ausdruck.
  3. Sind \varphi und \psi Ausdrücke, so sind auch (\varphi \land \psi), (\varphi \lor \psi), (\varphi \rightarrow \psi), (\varphi \leftrightarrow \psi), (\exists x\varphi ) und (\forall x\varphi ) Ausdrücke.[6]

Damit kann durch mehrfache Anwendung dieser Bildungsgesetze beliebig komplizierte Ausdrücke aufbauen. Nach dieser Definition kann man Terme grob als das beschreiben, was auf einer Seite einer Gleichung stehen oder in eine Relation eingesetzt werden kann; Terme sind genau diese Bestandteile von Ausdrücken.

Die genaue Definition des Ausdrucks hängt von der betrachteten Logik ab, in der Prädikatenlogik zweiter Stufe nimmt man beispielsweise noch das Einsetzen von Termen in Relationsvariablen und Quantifizierungen über Relationen hinzu.

Beispiel

Zur Beschreibung der reellen Zahlen benutzt man für die Multiplikation das Verknüpfungszeichen \cdot und für die Ungleichung das Relationssymbol \leq , ferner Konstanten wie 0, 1, 2, … Sind x,y Variablen, so sind definitionsgemäß auch

x\cdot x, die Konstante 0 und y Terme.

Nach Definition des Ausdrucks sind

x\cdot x=y und 0\leq y

Ausdrücke, denn die erste Zeichenkette ist die Gleichheit zweier Terme; die zweite ist eine Relation, in die zwei Terme eingesetzt wurden. Damit ist auch

0\leq y\rightarrow (\exists x(x\cdot x=y))

ein Ausdruck und schließlich

\forall y(0\leq y\rightarrow (\exists x(x\cdot x=y)))

Dieser Ausdruck ist im Modell der reellen Zahlen wahr. Es ist wichtig zu verstehen, dass obiger Aufbau des Ausdrucks kein Beweis ist; es handelt sich lediglich um die Bildung einer Zeichenkette nach gewissen Regeln. Wahr oder falsch kann eine damit einhergehende Aussage erst in einem Modell sein, dort kann sie gegebenenfalls bewiesen werden. Obige Aussage ist im Modell der rationalen Zahlen bekanntlich falsch, denn die rationale Zahl y=2 ist \geq 0, aber es gibt keine rationale Zahl x, die x\cdot x=y erfüllt.

Terme in vielsortiger Logik

Bei der Betrachtung heterogener Strukturen wie zum Beispiel Vektorräumen teilt man die Objekte gerne in verschiedene Sorten ein, bei Vektorräumen etwa Vektoren und Skalare. Die auftretenden Terme sind dann nach diesen Sorten zu unterscheiden. Als weitere Komponenten der Theorie kommt daher zunächst eine Menge T von Sortenbezeichnern hinzu.

Durch die vielsortige Signatur {\boldsymbol  S} wird den Symbolen nicht nur eine einfache Stelligkeitszahl zugeordnet, sondern (bei Relationen und Funktionen) eine Sequenz (Tupel) von Argumentsorten, und (bei Konstanten und Funktionen) eine Wertsorte.

Bezüglich der Variablensorten finden sich in der Literatur im Wesentlichen zwei Vorgehensweisen:[7]

  1. Es wird eine einzige Variablenmenge \mathcal V vorgesehen. Eine (ggf. nur partielle) Abbildung {\displaystyle \nu :{\mathcal {V}}\not \to T}, die Variablenbezeichnern eine Sorte zuordnet, heißt Variablendeklaration; eine Variable aus dem Definitionsbereich der Variablendeklaration heißt deklariert. Bei der Interpretation kann diese im Skopus (Wirkungsbereich) des jeweiligen Quantors ersetzt werden durch eine lokale Variante (lokal modifizierte Variablendeklaration)
  2.  
  3. Andere Autoren grenzen dagegen die Symbolmengen für die Variablen verschiedener Sorten streng voneinander ab und benutzen jeweils für jede Sorte eine eigene Menge an Variablensymbolen. Die Variablen werden z.B. durch einen Sortenindex gekennzeichnet. Die Zuweisung \nu einer Sorte zu einer Variablen ist fest und wird nicht lokal modifiziert.

Eine spezielle Bedeutung kommt – wenn vorhanden – der Sorte der logischen Wahrheitswerte {\displaystyle \{\operatorname {false} ,\operatorname {true} \}} zu, sie sei hier mit {\displaystyle \operatorname {logical} } bezeichnet. Relationen können entsprechend ihrer charakteristischen Funktion als Prädikate aufgefasst werden.[8] Insbesondere entsprechen nullstellige Relationen logischen Konstanten, so wie nullstellige Funktionen einer Bildsorte den Konstanten dieser Sorte entsprechen.

Bei der rekursiven Definition der Terme wird auf deren Sortigkeit Bezug genommen, um die in der Einleitung angesprochenen syntaktischen Eigenschaften zu erzielen: Falsche Sortenbeziehungen erscheinen als Syntaxfehler.

Ausdrücke in der vielsortigen Logik

Ähnlich wie vielsortige Terme werden bei gegebener vielsortiger Signatur die Sortender Argumente und Bildwerte berücksichtigt. Die rekursive Definition zunächst atomarer und dann allgemeiner Formeln (Ausdrücke) erfolgt nach dieser Maßgabe. Falsche Sortenzuweisungen werden daher als Syntaxfehler ausgewiesen.

Im Fall flexibler Variablendeklaration ist zu beachten, dass im Skopus (Geltungsbereich) der Quantoren lokal modifizierte Variablendeklarationen zum Tragen kommen. Auf diese Weise können in diesem Fall dieselben Variablen für unterschiedliche Sorten genutzt werden. Für den Fall, dass eine Variable x bereits außerhalb der Quantoren deklariert ist, d.h. wenn x bereits im ursprünglichen Definitionsbereich der Deklaration \nu enthalten ist, wird diese lokal überschrieben.

Termauswertung

Sei gegeben eine {\boldsymbol  S}-Struktur \mathcal A mit Interpretationsfunktion \alpha , \mathcal V der Vorrat an Variablennamen. Im vielsortigen Fall sei zusätzlich gegeben eine Variablendeklaration mittels einer (ggf. nur partiellen) Abbildung {\displaystyle \nu {:}\ {\mathcal {V}}\not \to T}.

Sei nun gegeben eine Variablenbelegung (auch Variablenzuweisung) \beta . Im einsortigen Fall ist das eine (eventuell nur partielle) Abbildung {\displaystyle \beta {:}\ {\mathcal {V}}\not \to A}, im vielsortigen Fall sei für jede Variable x das Bild (sofern zugewiesen) ein Element des Wertebereichs der deklarierten Sorte: {\displaystyle \beta (x)\in A_{\nu (x)}}.

Durch die Variablenbelegung \beta wird den Termen t ein Wert {\displaystyle [\![t]\!]} zugeordnet wie folgt:

Zeichen und Zeichenketten über dem Gesamtalphabet sind oben zur Verdeutlichung blau hervorgehoben:

Konstanten lassen sich als nullstellige Funktionen auffassen, explizit ist

Die Abbildung {\displaystyle [\![\ ]\!]} wird Termauswertung oder Termzuweisung genannt.

Im vielsortigen Fall ergibt die Auswertung eines Terms t der (nicht-logischen) Sorte s ein Objekt (Element) des Wertebereichs {\displaystyle A_{s}=\alpha (s)}.

Die Termauswertung ist eine mit der Funktionsinterpretation {\displaystyle \alpha |_{\mathcal {F}}} verträgliche Fortsetzung der Variablenbelegung \beta und der Konstanteninterpretation {\displaystyle \alpha |_{\mathcal {C}}}. Eine Termauswertung {\displaystyle [\![\ ]\!]} ist durch zwei Parameter festgelegt:

  1. die Interpretationsfunktion \alpha (steht für die Struktur) und
  2. die Variablenbelegung \beta

Unter der Voraussetzung, dass die Wertebereiche A_{s} paarweise disjunkt sind, sind die Sorten {\displaystyle s=\nu (x)} der belegten Variablen x durch ihren Wert {\displaystyle \beta (x)\in A_{s}} eindeutig bestimmt, so dass in diesem Fall die zusätzliche Angabe der Variablendeklaration nicht nötig ist. Man findet daher auch Notationen in der Art {\displaystyle [\![\ ]\!]_{\alpha ,\beta }}  statt {\displaystyle [\![\ ]\!]}.[9]

Gültigkeit von Ausdrücken

So wie sich Terme t bei gegebener Struktur (ausgedrückt durch \alpha ) und Variablenbelegung (\beta ) auf ihren Wert einer (nichtlogischen) Sorte s auswerten lassen, lassen sich Ausdrücke \varphi auf ihren logischen Wert auswerten. Anstelle von {\displaystyle [\![\varphi ]\!]_{\alpha ,\beta }} ist für diese Gültigkeit von Ausdrücken (auch Wahrheitswert oder Formelzuweisung genannt) die Notation {\displaystyle (\alpha ,\beta )\models \varphi } üblich. Diese Gültigkeit wird implizit durch die folgenden Regeln definiert:[10]

{\displaystyle (\alpha ,\beta )\models \color {blue}R\color {black}\Leftrightarrow \epsilon \in \alpha (\color {blue}R\color {black})\Leftrightarrow \alpha (\color {blue}R\color {black})\neq \emptyset \Leftrightarrow \alpha (\color {blue}R\color {black})}   ggf. für logische Konstanten, d.h. nullstellige Relationen[13]

Zeichen und Zeichenketten über dem Gesamtalphabet sind oben zur Verdeutlichung blau hervorgehoben, insbesondere gehören dazu die Junktoren und Quantoren auf der linken Seite (Objektsprache). Die rot markierten auf der rechten Seite sind Abkürzungen für die logische Verknüpfungen etc. der gewöhnliche Sprache (Metasprache), mit der der Sachverhalt dargestellt wird, also für „und“, „oder“, „es gibt ein“, „für alle“, „ist gleich“, etc. Zur Unterscheidung von den Quantorsymbolen {\displaystyle \color {blue}\forall \color {black}\dots ,\color {blue}\exists \color {black}\dots } der Objektsprache könnten hier z.B. auch {\displaystyle \color {red}\textstyle \bigwedge \limits _{\color {black}\dots }\color {black},\color {red}\textstyle \bigvee \limits _{\color {black}\dots }} Verwendung finden.

Der Wahrheitswert von Sätzen (geschlossenen Ausdrücken, d.h. ohne freie Variablen) hängt nicht von der Variablenbelegung ab.

In der Prädikatenlogik zweiter Stufe mit Relationsvariablen kommen noch zwei weitere Regeln hinzu, in vielsortigen Normalfall sind das:

Im einsortigen Fall kann das kartesische Produkt der Trägermengen  {\displaystyle \textstyle \prod A\circ {\color {blue}t\color {black}}=A_{\color {blue}t_{1}\color {black}}\times \dots A_{\color {blue}t_{k}\color {black}}}  zu A^{k} mit Stelligkeit k vereinfacht werden. Meist werden Relationsvariablen mit fester Stelligkeit benutzt (diese gerne als Index notiert), andernfalls muss die Stelligkeit deklariert werden: Für die Stelligkeit k\in \mathbb{N} _{0} wird dann eine symbolische Darstellung aus weiteren Zeichen {\displaystyle \color {blue}i} benötigt mit {\displaystyle \alpha (\color {blue}i\color {black})=k\in \mathbb {N} _{0}},[16] der Aufwand ist daher gleich oder etwa gleich wie im mehrsortigen Fall.

Anmerkungen

  1. Siehe Abschnitt Terme in vielsortiger Logik.
  2. Gemeint ist hier eine abstrakte Boolesche Algebra als Wertebereich. Zum Spezialfall der Aussagenalgebra: logische Terme versus Ausdrücke siehe unten: §Ausdrücke und §Ausdrücke in vielsortiger Logik.
  3. Dazu müssen diese Terme zunächst in eine lineare Form (d.h. Zeichenketten) übergeführt werden. Bei den Quantoren entspricht dies dem Ersetzen der Schreibweise mit den Symbolen {\displaystyle \bigwedge _{\dots },\bigvee _{\dots }} (ähnlich {\displaystyle \sum _{\dots },\prod _{\dots }}) durch {\displaystyle \forall \dots ,\exists \dots } . Weiteres s.u.: Ausdrücke als quasi ‚logische Terme‘.
  4. oder Formel
  5. Die Ausdrücke gemäß Punkt 1 und 2 nennt man atomar.
  6. Eine Variable {\displaystyle x\in {\mathcal {V}}} heißt gebunden in einem Ausdruck \psi , wenn x unmittelba auf den Quantor ({\displaystyle \exists ,\forall ,\dots }) folgt, ansonsten wird x als freie Variable bezeichnet. Variablen können im gleichen Ausdruck sowohl frei, als auch (lokal im Gültigkeitsbereich eines Quantors) gebunden vorkommen. Ein Ausdruck ohne freie Variablen heißt geschlossen oder ein Satz.
  7. In der Prädikatenlogik zweiter Stufe besteht auch im einsortigen Fall bezüglich der Stelligkeit der Relationsvariablen ebenfalls diese beiden Möglichkeiten, hier findet man meist die zweite Variante vor.
  8. Siehe Relationen und Funktionen
  9. In der ordnungssortierten Logik sind die den Sorten s\in T zugeordneten Wertebereiche A_{s} nicht notwendig disjunkt. Stattdessen ist die Menge der Sorten T mit einer partiellen Ordnung \preceq versehen, so dass für alle Sorten {\displaystyle s_{1},s_{2}} gilt: Wenn {\displaystyle s_{1}\preceq s_{2}}, dann {\displaystyle A_{s_{1}}\subseteq A_{s_{2}}}. Jeder Konstanten, Variablen und schließlich jedem Term t der Sorte s wird eine Sortenmenge {\displaystyle <s>=\{r\in T|s\preceq r\}} (Oberhalbmenge von s) zugeordnet, die alle Sorten r umfasst mit {\displaystyle s\preceq r}. Terme t_1,t_2 können dann kombiniert werden, wenn die Schnittmenge der Wertebereiche ihrer Sorten der Wertebereich einer definierten Sorte r ist , also insbesondere nicht leer ist. Man schreibt dann {\displaystyle r=s_{1}\sqcap s_{2}} (oder {\displaystyle r=s_{1}\cap s_{2}}). Diese Art von Logik ist Grundlage der Vererbung von Klassen (Klassenhierarchie) in der objektorientierten Programmierung.
  10. Vergleiche Gültigkeit in der Aussagenlogik
  11. mit {\displaystyle \nu (\color {blue}x\color {black})=\operatorname {logical} }
  12. Gerne wird zur Unterscheidung als Gleichheitssymbol in der Objektsprache {\displaystyle \color {blue}\equiv } statt {\displaystyle \color {blue}=} benutzt.
  13. mit {\displaystyle \epsilon =\emptyset }, {\displaystyle \emptyset =\operatorname {false} ,\{\emptyset \}=\operatorname {true} }
  14. a b {\displaystyle \beta _{\langle x\mapsto a\rangle }} ist die lokal modifizierte Variablenbelegung (x-Variante), entsprechend der lokal modifizierten Variablendeklaration {\displaystyle \nu _{\langle x\mapsto s\rangle }}, wegen {\displaystyle a\in A_{s}=\alpha (s)=\nu _{\langle x\mapsto s\rangle }(x)}.
  15. a b {\displaystyle \beta _{\langle X\mapsto R\rangle }} ist die lokal modifizierte Relationsvariablenbelegung (X-Variante), entsprechend der lokal modifizierten Relationsvariablendeklaration {\displaystyle \nu _{\langle X\mapsto \color {blue}t\color {black}\rangle }}, wegen {\displaystyle R\subseteq \textstyle \prod A\circ {\color {blue}t\color {black}}=\textstyle \prod A\circ \nu _{\langle X\mapsto t\rangle }(X)}.
  16. Zum Beispiel {\displaystyle \color {blue}i\color {black}=\underbrace {\color {blue}||\color {black}\dots \color {blue}|\color {black}} _{k{\text{-mal}}}} (Strichzählung) oder {\displaystyle \color {blue}i\color {black}=\underbrace {\color {blue}SS\color {black}\dots \color {blue}S\color {black}} _{k{\text{-mal}}}\color {blue}O\color {black}} mit {\displaystyle k=|\color {blue}i\color {black}|} = Länge von {\displaystyle \color {blue}i\color {black}} bzw. {\displaystyle \color {blue}O} = Zeichen für Null, {\displaystyle \color {blue}S} = Zeichen für Inkrement (‚+1‘), bzw. komplexer eine Binär- oder Dezimaldarstellung.
Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 22.02. 2022