Aussagenlogik: Deduktion und Algorithmen