离散数学及其应用

苑占江

目录

  • 1 第一部分 数理逻辑
    • 1.1 第一章 命题逻辑的基本概念
    • 1.2 第二章 命题逻辑的等值验算
    • 1.3 第三章 命题逻辑的推理理论
    • 1.4 第四章 一阶逻辑的基本概念
    • 1.5 第五章 一阶逻辑等值验算
第一章 命题逻辑的基本概念