让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )

一、 谓词逻辑相关概念、1、 个体词、2、 谓词、3、 量词、二、 一阶谓词逻辑公式、三、 两个基本公式、1、 公式一、2、 公式二、四、 命题符号化技巧、1、 命题符号化方法、2、 谓词逻辑组合、3、 当且仅当谓词逻辑、五、 命题符号化示例、

一、 命题逻辑基本概念 、二、 等值演算 、三、 主合取 ( 析取 ) 范式 、四、 推理演算

一、 前束范式 、 二、 前束范式转换方法 、 三、 前束范式示例 、 四、 谓词逻辑推理定律 、

一、 消除量词 等值式 、 二、 量词否定 等值式 、 三、 量词辖域收缩扩张 等值式 、 四、 量词分配 等值式 、

一、 判断谓词逻辑公式真假 ( 语义 ) 、二、 谓词逻辑 "解释" 、三、 谓词逻辑 "解释" 示例 、四、 谓词逻辑公式类型 、

一、 一阶谓词逻辑公式 、二、 一阶谓词逻辑公式 示例 、

一、 命题逻辑推理正确性判定 、二、 形式结构是永真式 ( 等值演算 ) 、三、 从前提推演结论 ( 逻辑推理 ) 、

一、等值演算 、 二、等值式 、 三、基本等值式 、 四、基本运算 、 五、等值演算 、

一、推理的形式结构 、 二、推理定律 、 1、附加律 、 2、化简律 、 3、假言推理 、 4、拒取式 、 5、析取三段论 、 6、假言三段论 、 7、等价三段论 、 8、构造性两难 、

一、命题与联结词 、二、命题公式 、三、命题公式示例 、四、联结词优先级 、五、真值表 、

一. 谓词逻辑相关概念1. 个体词( 1 ) 个体词2. 谓词( 1 ) 谓词3. 量词( 1 ) 全称量词( 2 ) 存在量词二. 命题符号化 技巧1. 两个基本公式( 1 ) 有性质 F 的个体 都有性质 G( 2 ) 存在既有性质 F 又有性质 G 的个体2. 命题符号化技巧( 1 ) 命题符号化方法( 2 ) 解题技巧( 3 ) 当且仅当 谓词逻辑方法3. 谓词公式定义( 1 ) 谓词公式定义

一. 相关概念1. 简单 析取 合取 式( 1 ) 简单合取式( 2 ) 简单析取式2. 极小项( 1 ) 极小项 简介( 2 ) 极小项 说明( 3 ) 两个命题变项 的 极小项( 4 ) 三个命题变项 的 极小项( 5 ) 极小项 成真赋值 公式 名称 之间 的 转化 与 推演3. 极大项( 1 ) 极大项 简介( 2 ) 极大项 说明( 3 ) 两个命题变项的极大项( 4 ) 三个命题变项的极大项( 5 ) 极大项 成假赋值 公式 名称 之间

命题和联结词 ( 命题 | 命题符号化 | 真值联结词 | 否 | 合取 | 析取 | 非真值联结词 | 蕴涵 | 等价 )