Klassische und nichtklassische Aussagenlogik