【正确答案】 C

【答案解析】抽象逻辑思维是以词为中介来反映现实的思维过程，也叫词的思维或逻辑思维。抽象逻辑思维是人类思维的典型形式，是人类思维区别于动物思维的最本质特征。题干中小红证明命题和定理时，需要将数字符号和概念组合起来运用，体现的就是抽象逻辑思维。