数理逻辑是什么意思_数理逻辑的意思是什么_数理逻辑的释义_数理逻辑怎么读_汉语词典

数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。