拼音fú hào luó jí
注音ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐ一ˊ
繁体符號邏輯
词性名词
首字母F
⒈ 数理逻辑。
⒈ 一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。