⒈ 数理逻辑。aVK词库汇 - 现代汉语词典库,汉语词典在线查询
⒈ 一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。aVK词库汇 - 现代汉语词典库,汉语词典在线查询