prädikatenlogik saksasta suomeksi