当前课程知识点:数理逻辑 > 第六章谓词逻辑推理与证明 > 6.1量词的特指规则 > 6.1量词的特指规则
-1.1命题逻辑
--1.1你必须知道
-1.2命题
--1.2 命题
-1.3复合命题与命题联结词
--1.3复合命题
-1.4命题逻辑符号化
-1.5命题逻辑符号化例解
-1.6复杂问题的命题逻辑符号化
-1.7命题公式、解释与真值表
-第一单元测验:命题与命题逻辑符号化
-2.1初识命题等价式
-2.2基本命题等价式
-2.3等价演算
--2.3等价演算
-2.4等价演算的应用
-2.5析取范式和合取范式
-2.6求析取范式和合取范式
-2.7主析取范式和主合取范式
-2.8真值表法求主范式
-2.9等值演算法求主范式
-2.10主范式的用途
-2.11主析取范式和主合取范式之间的转换
-第二单元测验:等价演算与范式
-3.1重言蕴涵
--3.1重言蕴涵
-3.2基本的重言蕴涵式
-3.3命题逻辑的推理证明
-3.4推理的有效性与结论的真实性
-3.5命题逻辑的证明方法
-3.6命题逻辑部分小结
-第三单元测验:命题逻辑推理与证明
-4.1谓词逻辑
--4.1谓词逻辑
-4.2谓词、量词、特性谓词
-4.3谓词逻辑符号化
-4.4谓词逻辑符号化例解
-第四单元测验:谓词与谓词逻辑符号化
-5.1谓词公式的概念
-5.2自由变元和约束变元
-5.3谓词公式的解释
-5.4谓词等价式与重言式(1)
-5.5谓词等价式与重言式(2)
-5.6改名规则、代入规则、对偶原理
-5.7前束范式
--5.7前束范式
-第五单元测验:谓词公式
-6.1量词的特指规则
-6.2量词的推广规则
-6.3谓词逻辑的推理与证明方法
-6.4推理规则的应用
-6.5谓词逻辑的推理与证明例解
-第六单元:谓词逻辑推理与证明单元测试