Aussagenlogik/Extensions