shù lǐ luó jí · ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧˊ
数据更新：2026-07-16 04:00:52
数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
与「数理逻辑」相关的查询结果