用数学方法研究推理的规律，研究正确思维所遵循的规律的学科，亦称符号逻辑的是（）

用数学方法研究推理的规律，研究正确思维所遵循的规律的学科，亦称符号逻辑的是（）
A.数理统计
B.运筹学
C.泛函分析
D.数理逻辑
正确答案：D