Grundbegriffe der Aussagen- und Prädikatenlogik

Zusammenfassung

In diesem Abschnitt müssen Sie einige logische Begriffe lernen, die jeder Mathematiker und Informatiker als Handwerkszeug braucht. Sie beschreiben gewissermaßen die Regeln, die man einhalten muss, wenn man Mathematik macht. Und sie liefern auch die entscheidenden Werkzeuge für die Abstraktionen, die bei jeder Formalisierung von Prozessen aus der realen Welt im Bereich der Informatik und speziell im Bereich der Programmierung so wichtig sind.