Logo Aussagenlogik   Logo Pr√§dikatenlogik