Logika - prekladatelia, posunovače úrovne