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

Posted 2020-06-13

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

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

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

 

 

 

 

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 全称特指规则（全称量词消去规则）

 

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

R○S 关系与关系的复合

 

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