符号逻辑

符号逻辑    fú hào luó jí
数理逻辑。

国语辞典

注音 ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ  拼音 fú hào luó jí
一種邏輯。不限名詞和命題,將其關係用數學符號表達,而以數學運算的方式,據以推斷論證命題的結果,有執簡衘繁的功效。
参见:符號邏輯
扫描版:「符号逻辑」在《现代汉语词典》第401页