第1章命题逻辑_3-公开课件.pptVIP

【例1.39】用归谬法证明p→q，?(q∨r)可逻辑推出?p 证明： ⑴ p→q P ⑺ q∧?q (矛盾) T⑶⑹合取引入 ⑵ p P(附加前提) ⑶ q T⑴⑵假言推理 ⑷ ?(q∨r) P ⑸ ?q∧?r T⑷德摩根律 ⑹ ?q T⑸化简律 第1章 命题逻辑 1.6 全功能联结词集 定义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 不可兼析取有下列的性质： ⑴ p q?q p (交换律) ⑵ (p q) r?p (q r) (结合律) 联结词“ ”的真值表 如表1.