数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
欢迎使用LHBSX汉语词典！我们提供海量词语、成语、近义词、反义词及组词查询。专业释义，精准全面，助您轻松掌握汉语词汇。如有疑问，欢迎反馈。