Ziel dieses Kurses ist es, BA-Studierende mit den Grundlagen der formalen Logik vertraut zu machen, insbesondere mit der Syntax und Semantik der Aussagenlogik und Prädikatenlogik sowie mit verschiedenen Beweisverfahren und einigen metalogischen Begriffen wie Korrektheit, Vollständigkeit und Entschei…