Logik: Aussagenlogik und Prädikatenlogik