Discrete Mathematics I - Lecture 2

Die Aussagenlogik ist nicht reichhaltig genug, um darin komplexere mathematische Aussagen formulieren zu können (z.B. die Stetigkeit von Funktionen oder den Grenzwert von Reihen). Prädikatenlogik und Mengenlehre liefern heute die Grundlagen für den Aufbau der modernen Mathematik. In der heutigen Vorlesung wird die Prädikatenlogik kurz beleuchtet:

• Prädikate und Objekte
• Quantoren
• Vertauschung von Quantoren
• Verneinung von quantorisierten Aussagen
• Freie und gebundene Variablen.

Am Ende der Stunde wurde mit dem Aufbau der Mengenlehre begonnen.