| 为使读者适应本课程概念多、内容抽象、逻辑性强的特点，编写时本书力求做到概念清晰、准确，推理严谨且通俗易读。 |
| 第一篇 数 理 逻 辑 第1章 命题逻辑 1.1 命题与命题公式 1.1.1 命题 1.1.2 命题联结词 1.1.3 命题公式 1.1.4 命题公式的真值表 1.2 重言式 1.2.1 重言式和矛盾式 1.2.2 等价重言式 1.2.3 蕴含重言式 1.2.4 对偶与对偶原理 1.3 命题演算的推理规则和证明方法 1.3.1 真值表的证明方法 1.3.2 形式推理的证明方法——直接证法 1.3.3 间接证法 1.4 命题公式的标准形式 1.4.1 范式 1.4.2 主范式 1.5 其他联结词 习题1 第2章 谓词逻辑 2.1 个体、谓词与命题函数 2.1.1 个体与谓词 2.1.2 命题函数 2.2 量词 2.2.1 全称量词 2.2.2 存在量词 2.3 谓词公式与翻译 2.3.1 谓词公式 2.3.2 命题的符号化 2.3.3 自由变元和约束变元 2.4 谓词演算的推理理论 2.4.1 谓词演算的等价式和蕴含式 2.4.2 谓词演算的推理规则 2.5 前束范式 习题2 第二篇 集 合 论 第3章 集合 3.1 基本概念 3.1.1 集合及其表示方法 3.1.2 集合的包含和相等 3.1.3 空集和全集 3.1.4 幂集 3.2 集合的运算 |
内容加载中，请稍后...
商品评论（0条）