⒈ 数理逻辑。
⒈ 一种逻辑。不限名词和命题,将其关系用HRef=https://www.xuegushici.com/list/shuxue/ target=_blank class=infotextkey>数学符号表达,而以HRef=https://www.xuegushici.com/list/shuxue/ target=_blank class=infotextkey>数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。