命题逻辑 重点 、命题(简单命题,复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假 3、等值演算(证明A台B) 4、联结词完备集(用指定联结词表示任意公式) 5、主析(主合)取范式,成真(假)赋值 6、推理证明(推理规则)命题逻辑 重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A  B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析（主合）取范式, 成真(假)赋值 6、推理证明(推理规则)