数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。