"logical consequence" Deutsche bedeutung