历代诗词 · 名句赏析 · 古籍阅读 · 字词查询
拼音 fú hào luó jí |4 字词
⒈ 数理逻辑。
⒈ 一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。