第1章 命题逻辑教学精品.pptVIP

定理1.5.4 设A、B、C为合式公式。 ⑴ A?A (即蕴含是自反的) ⑵ 若A?B且A为重言式，则B必为重言式。 ⑶ 若A?B且B?C，则A?C (即蕴含是传递的) ⑷ 若A?B且A?C，则A?B∧C ⑸ 若A?B且C?B，则A∨C?B ⑹ 若A?B，C是任意公式，则 A∧C?B∧C 定义1.6.1 设p和q是两个命题，复合命题p q称作p和q的不可兼析取，也叫异或。定义为：p q为T当且仅当p和q的真值不相同时。联结词“ ”称为异或联结词。 表1.18 p q 0 0 0 0 1 1 1 0 1 1 1 0 p q 1.6 其他联结词 运算性质： （1）交换律 （2）结合律 ⑶ p∧(q r)?(p∧q) (p∧r) (合取对异或的分配律) ⑷ p q?(p∧?q)∨(?p∧q) ⑸ p q??(p?q) ⑹ p p?0，0 p?p，1 p??p 定理1.6.1 设A，B，C为命题公式，如果A B?C，则A C?B，B C?A，A B C为一矛盾式。 定义1.5