汉字吧hanzi8.com符号逻辑在《现代汉语词典》（第7版）里的解释辞书页»
fúhàoluójí〈数〉理逻辑。
符号逻辑在《两岸通用词典》里的解释辞书页»
台湾本 符號邏輯 （符号逻辑） fúhào luójí （ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐ丨ˊ）
數學的一個分支，是用符號及數學方法研究邏輯或形式邏輯的學科。也作「數理邏輯」。
符号逻辑在国语辞典中的解释辞书页»
【国语辞典】（台湾教育部重编国语辞典，原为繁体，已转简体）
拼音：fú hào luó jí 注音：ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ
一種邏輯。不限名詞和命題，將其關係用數學符號表達，而以數學運算的方式，據以推斷論證命題的結果，有執簡銜繁的功效。