作者：杨圣洪 等编著
页数：147
出版社：科学出版社
出版日期：2011
ISBN：9787030304001
电子书格式：PDF
PDF下载地址
内容简介
全书共分为5章，内容包括命题逻辑、谓词逻辑、集合与关系、代数系统和图论。
目录
前言
第1章 命题逻辑
1.1 命题及联结词
1.2 命题公式及其赋值
1.3 等值式
1.4 析取范式与合取范式
1.5 实验
1.6 推理理论
1.7 消解法
第2章 谓词逻辑
2.1 基本概念
2.2 谓词公式及其解释
2.3 谓词公式等值演算
2.4 谓词公式的范式
2.5 谓词推理
第1章 命题逻辑
1.1 命题及联结词
1.2 命题公式及其赋值
1.3 等值式
1.4 析取范式与合取范式
1.5 实验
1.6 推理理论
1.7 消解法
第2章 谓词逻辑
2.1 基本概念
2.2 谓词公式及其解释
2.3 谓词公式等值演算
2.4 谓词公式的范式
2.5 谓词推理