数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
查单字辑的意思理的意思逻的意思数的意思
查组词含辑的组词含理的组词含逻的组词含数的组词
查成语含辑的成语含理的成语含逻的成语含数的成语