| 第一部分 数理逻辑 第1章 命题逻辑演算系统 1.1 命题逻辑演算系统的概念 1.1.1 命题 1.1.2 联结词 1.2 命题公式与真值表 1.2.1 命题公式与命题函数 1.2.2 命题公式的真值表 1.2.3 永真式与永假式 1.2.4 其他联结词 1.2.5 最小联结词组 1.3 等价式与蕴含式 1.3.1 命题公式的等价 1.3.2 命题公式的蕴含 1.3.3 等价的判定 1.3.4 蕴含的判定 1.4 范式与对偶式 1.4.1 对偶公式 1.4.2 范式 1.4.3 主范式 1.5 命题演算的推理理论 1.5.1 有效推理的概念 1.5.2 推理过程习题 第2章 一阶谓词逻辑演算系统 2.1 谓词命题 2.1.1 原子命题的谓词表示 2.1.2 量词 2.1.3 论域 2.1.4 含量词的谓词命题 2.2 谓词命题公式及约束变元 2.2.1 谓词命题公式 2.2.2 谓词公式的解释与赋值 2.2.3 谓词公式的等价与蕴含 2.2.4 约束变元与自由变元 2.2.5 代入实例 2.3 谓词逻辑演算的等价式和蕴含式 2.3.1 等价式与蕴含式 2.3.2 多元谓词及其量词 2.3.3 前束范式与Skolem范式 2.4 谓词逻辑演算的推理理论 2.4.1 谓词... |
内容加载中，请稍后...
商品评论（0条）