“数理逻辑”什么意思（拼音,读音等）

[ shù lǐ luó ji ] 

[ shù lǐ luó ji ]

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