Mathematik - Lehrbuch, 11th Edition

2 Aussagenlogik

In der Mathematik geht man von bestimmten Grundbegriffen aus und formuliert damit gewisse Grundsachverhalte, die nicht bewiesen werden, man nennt sie Axiome.

In diesem Buch setzen wir die reellen Zahlen als gegeben voraus (Abschnitt 1.1, Figur 1.4) sowie auch die entsprechenden Axiome der Addition, Multiplikation und Anordnung, die wir in den Formeln (1.2) bis (1.5) bereits kennen gelernt haben.

Mit Hilfe der Grundbegriffe und Axiome werden andere Begriffe erklärt oder definiert. Man spricht von einer Definition, wenn man einen Sachverhalt durch einen neuen Begriff erklärt, der nicht bereits für andere Sachverhalte vergeben wurde. Es geht dabei häufig um Schreib-und Sprechvereinfachungen.

 

Beispiele für Definitionen:

• a) Summenzeichen ...