数理逻辑(Mathematical Logics)就是用数学化(符号化)的手段,研究有效的推理方法。所谓数学方法主要是指引进一套符号体系的方法。因此数理逻辑又称为符号逻辑。数理逻辑在逻辑设计、人工智能、语言理论、程序正确性证明等方面都有重要应用