词语：数理逻辑

拼音：shùlǐ-luó jwww.souquanme.comí

解释：用数学的工具和方法研究推理//www.souquanme.com、计算搜趣网等问题的一门科学，是数学的一个分支。它的主要内容有：命题演算、谓词演算、证明论、递归论、搜趣网模型论和公理化集论等。也叫符号逻//www.souquanme.com辑。