等价式和蕴涵式.pptVIP

练习8．2

1、试判定下列各式是三类公式的那一类：（1）(P→Q)→(Q→P)（2）┐P→(P→Q)（3）Q∧┐(P→Q)（4）P∧Q→(P?Q)2、证明下列逻辑等价式：（1）A?B?(A∧B)∨(┐A∧┐B)（2）A→(B→C)?B→(A→C)（3）A→(B→C)?(A→B)→(A→C)（4）┐(┐A∨┐B)∨┐(┐A∨B)?A3、证明下列逻辑蕴涵式：（1）A∧B?A?B（2）(A→B)→A?A（3）A→B?((A?B)→A)→B（4）┐(A∨B)∨C?A∨(┐B∨C)（5）(A∨B)∧(A→C)∧(B→C)?C（6）┐(A∨B)?A∨(┐B∨C)4、化简下列各式：（1）(A∨┐B)∧(A∨B)∧(┐A∨┐B)（2）B∨┐((┐A∨B)∧A)（3）(P→Q)?(┐Q→┐P)（4）(┐Q→P)→(P→Q)（5）(Q∧(P→┐Q)→P)∧┐(Q→P)第29页，共80页，星期日，2025年，2月5日§8．3命题公式的范式第30页，共80页，星期日，2025年，2月5日在第一节我们介绍了五个联接词，强调它们是基本的重要的，因为它们是自然语言中最常用的。实际上，只有这五个是不够用的，我们还会涉及其它的联接词。第31页，共80页，星期日，2025年，2月5日8．3．1

联结词的扩充与最小联接词集

首先我们回过头来分析一下五个基本联接词，我们发现其中的析取“∨”所表示的“或者”允许两个都为真，即是可兼的，且当A，B都为真时，A∨B为真。而比如一快餐馆中写到：一套快餐包括“主菜一个，汤或沙拉一份”，此句中的“或”不是可兼的。再来区分一下：“明天上午我或者在教室或者在图书馆”，“明天上午十点我或者在教室或者在图书馆”，前一语句中的“或”是可兼的，可用“∨”来表示，而后一语句中的“或”是不可兼的，不能用“∨”来表示。本节我们要引进逻辑电路中涉及的“异或（不可兼或）门”、“与非门”、“或非门”等四个扩充联接词。当然我们只作最少的介绍。第32页，共80页，星期日，2025年，2月5日“异或（不可兼或）”，用符号（或?）表示，其含义可由下列等价式决定：PQ?(P∨Q)∧┐(P∧Q)?┐(P?Q)?(P∧┐Q)∨(┐P∧Q)也就是说当P，Q都为真时PQ为假。“与非（NAND）词”，用记号?表示，也称为悉非尔（Sheffer）竖，其含义可由下列等价式决定：P?Q?┐(P∧Q)这说明当P，Q都为真时P?Q为假。第33页，共80页，星期日，2025年，2月5日“或非（NOR）”，用记号?表示，也称为皮尔斯（Peirce）箭头，其含义可由下列等价式决定：P?Q?┐(P∨Q)这说明当P，Q都为假时P?Q为真。“蕴涵否定词”，用记号?表示，其含义可由下列等价式决定：P?Q?┐(P→Q)第34页，共80页，星期日，2025年，2月5日那么到现在为止，我们共介绍了九个联接词，可以证明这九个联接词就够用了，即满足完备性。但从我们本节引进的四个扩充联接词看，它们都能用前边五个基本联接词表示，而由等价式知道，→和?又能用┐，∧，∨来等价表示，同时由德摩根律P∨Q?┐(┐P∧┐Q)，P∧Q?┐(┐P∨┐Q)又能将∧与∨互相转换，因而{┐，∧}和{┐，∨}都是完备联接词集（completegroupofconnectives）。我们容易说明┐与∧，┐与∨是相互独立的，我们称既具有完备性又具有独立性的联接词集为最小联接词集。第35页，共80页，星期日，2025年，2月5日常见的最小联接词集有{┐，∧}，{┐，∨}，{┐，→}，{?}，{?}。{┐，→}在研究逻辑系统的演绎和推理时很重要，在程序系统的研究中也经常用，如{if…then…else};{?}，{?}在大规模集成电路中有广泛应用。注意，{┐，∧，∨}，{∧，∨}，{┐，?}等都不是最小联接词集。但{┐，∧，∨}是完备集，等价表示一公式也较简单，因此是常用的联接词集。如布尔代数系统以及下面要介绍的范式，就只用┐，∧，∨三个联接词。第36页，共80页，星期日，2025年，2月5日8.3.2析取范式和合取范式第37页，共80页，星期日，2025年，2月5日我们已经知道，对众多的命题公式，可以依据它们之间的逻辑等价关系进行分类，使相互逻辑等价的公式为一类。那我们想，是否可以在各类公式中分别选出一个公式作为各类的“代表”，而且使它们具有统一的规范形式呢？这就是我们现在要讲