Logo Aussagenlogik   Logo Prädikatenlogik