【词语】: 数理逻辑 数的词语 【拼音】: shùlǐ-luó jí 【解释】: 用数学的工具和方法研究推理、计算等问题的一门科学,是数学的一个分支。它的主要内容有:命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。也叫符号逻辑。