数理逻辑的意思

shùlǐ-luó jí
部首 攵 | 笔划 9
用数学方法研究推理、计算等逻辑问题的学科。也叫符号逻辑。