⒈ 数理逻辑。
⒈ 一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。
上一篇:星迈
下一篇:戎逻
鲣鸟
哵哵鸟
砑虫
陈迹
鸟申
蜗迹
迹附
车迹
螟虫
血迹
栖迹
贞虫
暂无更多内容