第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.18所示。 “ ”也可以看成逻辑 运算，它是二元逻辑运算。它在程序设计中有广泛的应用。 ⑶ 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.6.2 设p和q是两个命题，复合命题p↑q称作p和q的与非。定义为：当且仅当p和q真值都是真时，p↑q才为假。 联结词“↑”称为与非联结词。 由定义可以看出下式成立： p↑q??(p∧q) 联结词“↑”的真值表如表1.19所示。 “↑”也可以看成逻辑运算，它是二元逻辑运算。 联结词“↑”还有以下几个性质： 表1.19 p q p↑q 0 0 1 0 1 1 1 0 1 1 1 0 ⑴ p↑p??(p∧p)? ?p ⑵(p↑q)↑(p↑q) ⑶ (p↑p)↑(q↑q) ? ??(p∧q) ? ?(?p∧?q) ? ?(p↑q) ?(?p)↑(?q) ?p∧q ?p∨q 定义1.6.3 设p和q是两个命题，复合命题p↓q称作p和q的或非。定义为：当且仅当p、q的真值都为假时，p↓q的真值为真。联结词“↓”称为或非联结词。 表1.20 p q p↓q 0 0 1 0 1 0 1 0 0 1 1 0 由此定义可得到下面的公式： p↓q??(p∨q) 联结词↓还有下面的几个性质： ⑴ p↓p??(p∨p)? ?p ⑵ (p↓q)↓(p↓q)? ?(p↓q)? ??(p∨q)?p∨q ⑶ (p↓p)↓(q↓q)? ?p↓?q??(?p∨?q)?p∧q 至此已经学了8个联结词：?，∧，∨，→，?，，↑，↓。类似于定义1.2.1的方法，可以定义包含上述8个联结词的命题公式。 定义1.6.4 设S是一个联结词集合，如果任何n(n≥1)个变元组成的公式，都可以由S中的联结词来表示，则称S是全功能联结词集。 利用下列3个等价式可将任何命题公式中的命题联结词 “ ”、“↑”和 “↓”去掉。 根据命题公式的定义??，∧，∨，→，?，，↑，↓? 是全功能联结词集。 p q??(p?q) p↑q??(p∧q) p↓q??(p∨q) 所以??，∧，∨，→，??是全功能联结词集。 利用下列2个等价式可将任何命题公式中的命题联结词 “→”和“?”去掉。 用德摩根律可证明??，∧?和??，