8 Suchergebnisse

Betrachtet man die Mathematik als Gebäude, dann bilden Grundbegriffe und als wahr angenommene Aussagen (sogenannte Axiome) das Fundament. Der Aufbau des Gebäudes vollzieht sich im Wesentlichen dadurch, dass ausgehend von den Grundbegriffen weitere Begriffe gebildet werden sowie Zusammenhänge zwischen ihnen erkannt und in Aussagen formuliert werden. Als wahr erkannte Aussagen werden als Sätze in das Gebäude aufgenommen und bei dessen weiterer Vervollkommnung verwendet. Der Nachweis der Wahrheit einer Aussage, eines mathematischen Satzes, erfolgt durch einen Beweis.

Eine Aussage ist ein sinnvolles sprachliches Gebilde (bzw. die entsprechende Zeichenreihe), das entweder wahr oder falsch ist. Entscheidend ist, dass die Äußerung einen Wahrheitswert hat. Es ist nicht notwendig, ihn zu kennen.
Deshalb sind auch Äußerungen wie „Es gibt außerirdisches Leben“ Aussagen.

Eine Aussageform ist eine sinnvolle sprachliche Äußerung, die mindestens eine (freie) Variable enthält und die zur Aussage wird, wenn für die Variable(n) ein Element aus dem Grundbereich eingesetzt wird.

Unter einer Aussageform versteht man eine sinnvolle sprachliche Äußerung mit mindestens einer freien Variablen, die zur Aussage wird, wenn man für die freien Variablen die Namen von Objekten (Elementen) aus dem Grundbereich G einsetzt oder die freie(n) Variable(n) durch Formulierungen wie „für alle Objekte (Elemente) aus G gilt ...“ oder „es gibt Objekte (Elemente) aus G, für die gilt ...“ bindet.
Als Kurzschreibweise für eine Aussageform mit der (den) freien Variablen x oder x und y usw. wird häufig $H\left(x\right)$ bzw. $H\left(x;y\right)$ usw. verwendet.

Betrachtet man die Mathematik als Gebäude, dann bilden Grundbegriffe und als wahr angenommene Grundaussagen (so genannte Axiome bzw. Postulate) das Fundament. Der Aufbau des Gebäudes vollzieht sich im Wesentlichen dadurch, dass ausgehend von den Grundbegriffen weitere Begriffe (sogenannte abgeleitete Begriffe) gebildet (definiert) werden sowie Zusammenhänge zwischen ihnen erkannt und in Aussagen formuliert werden. Als wahr erkannte Aussagen werden als Sätze (Lehrsätze) in das Gebäude aufgenommen und bei dessen weiterer Vervollkommnung verwendet.
Der Nachweis der Wahrheit einer Aussage, eines mathematischen Satzes, erfolgt durch einen Beweis. Man unterscheidet direkte und indirekte Beweise.

Das Verfahren der vollständigen Induktion hängt eng zusammen mit der Menge der natürlichen Zahlen bzw. mit Teilmengen natürlicher Zahlen. Es ist immer dann anwendbar, wenn man auf Aussagen trifft, die für alle natürlichen Zahlen gelten, also die die folgende Struktur aufweisen:

• Für alle natürlichen Zahlen $n(mitn\ge n_0)$ gilt $H\left(n\right)$.

In der Mathematik ist es häufig erforderlich, neue Aussagen aus schon vorhandenen Aussagen zu gewinnen oder auch zu zeigen, dass sich eine bestimmte Aussage zwingend aus bereits als wahr erkannten Aussagen ergibt. Hierbei werden sogenannte Schlussregeln angewandt. Man versteht darunter logische Strukturen, die unabhängig von ihrem Inhalt bei jeder Belegung mit den Wahrheitswerten „wahr“ oder „falsch“ stets zu einer wahren Aussagenverbindung führen. Solche Strukturen oder Aussagenverbindungen nennt man logische Identitäten oder auch Tautologien.
Der Beweis für die Richtigkeit der Schlussregeln könnte jeweils mit den Wahrheitswertetafeln für die verschiedenen logischen Operationen geführt werden.

In der Mathematik ist es häufig erforderlich, neue Aussagen aus schon vorhandenen Aussagen zu gewinnen oder auch zu zeigen, dass sich eine bestimmte Aussage zwingend aus bereits als wahr erkannten Aussagen ergibt. Hierbei werden sogenannte Schlussregeln angewandt.
Man versteht darunter logische Strukturen, die unabhängig von ihrem Inhalt bei jeder Belegung mit den Wahrheitswerten „wahr“ oder „falsch“ stets zu einer wahren Aussagenverbindung führen. Solche Strukturen oder Aussagenverbindungen nennt man logische Identitäten oder auch Tautologien. Die Schlussregeln sind so beschaffen, dass man beim Schließen den Inhalt der Ausgangsaussgen, der Prämissen, gar nicht kennen oder berücksichtigen muss.