Превращение непосредственных умозаключений