Die Aussagenlogik wird definiert, einige Anmerkungen zur Syntax und zum Umgang mit Formeln sollen das Leben erleichtern. Dann definieren wir Valuationen, um die Semantik von Formeln in den Griff zu bekommen. Hier sind Tautologien wichtig. Damit behandeln wir auch gleich den Kompaktheitssatz der Aussagenlogik. Ein Beweissystem wird studiert, wir zeigen, dass die Gültigkeit von Aussagen und ihre Beweisbarkeit gleichwertig sind. Alle diese Entwicklungen werden durch Beispiele verdeutlicht. Ein wichtiges Hilfsmittel ist die Lindenbaum-Tarski-Algebra, die hier konstruiert wird.