| 前言 第一部分 数理逻辑 第1章 命题逻辑 1.1 命题及其表示 1.1.1 命题的基本概念 1.1.2 命题分类 1.1.3 命题标识符 1.2 逻辑联结词 1.2.1 否定联结词 1.2.2 合取联结词 1.2.3 析取联结词 1.2.4 条件联结词 1.2.5 双条件联结词 1.2.6 字位运算与布尔检索 1.3 命题公式与解释 1.3.1 命题公式 1.3.2 命题的符号化 1.4 真值表与等价公式 1.4.1 真值表 1.4.2 等价公式 1.5 命题公式的分类与蕴含式 1.5.1 命题公式的分类 1.5.2 重言式与矛盾式的性质 1.5.3 蕴含式 1.6 其他逻辑联结词和最小功能完备联结词组 1.6.1 其他逻辑联结词 1.6.2 最小功能完备联结词组 1.6.3 联结词的逻辑电路表示 1.7 对偶与范式 1.7.1 对偶式与对偶原理 1.7.2 命题公式的范式 1.7.3 命题公式的主析取范式和主合取范式 1.8 推理理论 1.8.1 直接证法 1.8.2 间接证法 习题一 实验一 真值表的程序计算 第2章 谓词逻辑 2.1 谓词的基本概念 2.1.1 个体和谓词 2.1.2 量词 2.2 谓词公式与解释 2.2.1 谓词公式 2.2.2 谓... |
内容加载中，请稍后...
商品评论（0条）