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

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.