标签：
3.2 一阶逻辑等值演算
• 3.2.1 一阶逻辑等值式与置换规则
– 基本等值式
– 置换规则、换名规则、代替规则
• 3.2.2 一阶逻辑前束范式
否定词 从里面出来和从两面进来，量词符号都要变化
量词分配的时候 不变。 同方向的没有分配率。
CP 命题演绎的定理（CP 规则）
EG 存在推广规则（存在量词引入规则）
ES 存在量词特指规则（存在量词消去规则）
UG 全称推广规则（全称量词引入规则）
US 全称特指规则（全称量词消去规则）
集合A的幂集就是所有A的子集所组成的集合。 乘法就是笛卡尔积。笛卡尔积是有序对
R○S 关系与关系的复合
间接证明最常用的一种方法--CP规则
标签：
原文地址：http://www.cnblogs.com/zrui513/p/5187063.html
