辞海

模糊查询
定位查询
词语:符号逻辑
释义:fú hào/háo luó jí
数理逻辑。
QQXIUZI.CN 千千秀字