词语解释
符号逻辑
[ fú hào luó ji ]
⒈ 数理逻辑。
国语辞典
[ fú hào luó jí ]
⒈ 一种逻辑。不限名词和命题，将其关系用数学符号表达，而以数学运算的方式，据以推断论证命题的结果，有执简衘繁的功效。