离散数学--3.2 一阶逻辑的等值演算

3.2 一阶逻辑等值演算
3.2.1 一阶逻辑等值式与置换规则
– 基本等值式
– 置换规则、换名规则、代替规则
3.2.2 一阶逻辑前束范式

离散数学--3.2 一阶逻辑的等值演算_第1张图片

离散数学--3.2 一阶逻辑的等值演算_第2张图片离散数学--3.2 一阶逻辑的等值演算_第3张图片

否定词 从里面出来和从两面进来,量词符号都要变化

量词分配的时候  不变。  同方向的没有分配率。

 

离散数学--3.2 一阶逻辑的等值演算_第4张图片

 

 

离散数学--3.2 一阶逻辑的等值演算_第5张图片离散数学--3.2 一阶逻辑的等值演算_第6张图片

 

US(全称指定规则 Universal Specify)
ES(存在指定规则 Exstential Specify)

UG(全称推广规则 Universal Generalize)
EG(存在推广规则 Existential Generalize)

P规则(Premise)    附加前提
T规则(Transformation)  

CP规则(Conclusion Premise)

CP 命题演绎的定理(CP 规则) 

EG 存在推广规则(存在量词引入规则)

ES 存在量词特指规则(存在量词消去规则)

UG 全称推广规则(全称量词引入规则)

US 全称特指规则(全称量词消去规则)

 离散数学--3.2 一阶逻辑的等值演算_第7张图片

集合A的幂集就是所有A的子集所组成的集合。 乘法就是笛卡尔积。笛卡尔积是有序对

R○S 关系与关系的复合

 

间接证明最常用的一种方法--CP规则

你可能感兴趣的:(离散数学--3.2 一阶逻辑的等值演算)