离散数学 左孝陵 第二章

用数学方法（主要是建立符号体系的方法）来研究推理的形式结构和推理规律的数学学科。引入一套符号体系来研究推理规律的学科，故又称之为符号逻辑（Symbolic Logic）