【词语】 数理逻辑
【全拼】 shùlǐ-luó jí
【释义】 用数学的工具和方法研究推理、计算等问题的一门科学，是数学的一个分支。它的主要内容有：命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。也叫符号逻辑。
【例句】 1、高级数理逻辑
2、 数理逻辑
3、 真实数值可以为零至一的连续数的一种数理逻辑。
4、 数理逻辑监定与审评
【相关词】 “曲终人不见，江上数峰青” “梅花易数” 　盖革计数器 《数不清的井》 《自然哲学的数学原理》 《逃离数学岛》 一日纵敌，数世之患 一曲红绡不知数 一略数 一目数行 一阵催花雨，数声惊蛰雷 万数 万有引力常数 丈数 三万里孤鸿明灭数千载光阴荏苒 三数 三角函数 上岁数 上帝之数 上证指数
回到顶部 返回首页