进入高中阶段后，学生的抽象逻辑思维则属于()，他们能在头脑中进行完全属于抽象符号的推导，并能以理论作指导去分析、解决各种问题。