第1章命题逻辑.pptVIP

数理逻辑又称符号逻辑，是用数学的方法研究思维规律和推理过程的一门学科。

人的思维的形式结构包括概念、判断和推理之间的结构和联系。研究推理的方法很多，用引进一套符号体系,简洁地表示出各种推理的逻辑关系的数学方法研究推理的就称为数理逻辑。;§1.1现代逻辑学;逻辑发展历史——三个阶段;逻辑与计算机科学的联系;（知道问题）老师手中握有一副牌（黑桃5、4、8、J；红心A、Q、4；方块A、5；梅花K、Q、5、4），我想好一张牌，并将该牌的花色告述学生甲，将该牌的点数告述学生乙。

甲说：我敢肯定你不知道这张牌。

乙说：那么我现在知道了。

甲说：那么我也知道了。

请问这张牌是什么牌？;先看著名物理学家爱因斯坦出过的一道题：

一个土耳其商人想找一个十分聪明的助手协助他经商，有两人前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在自己头上，在我开灯后，请你们尽快说出自己头上戴的帽子是什么颜色的。”说完后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商人头上戴的是一顶红帽子，沉默几秒后其中一个人便喊道：“我戴的是黑帽子。”

请问这个人说得对吗？他是怎么推导出来的呢？;§1.2命题及其表示法;定义1命题是一个可以判断真假的陈述句。;二、简单命题与复合命题;三、命题联结词;定义3合取联结词∧

设p,q为二个命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词。

并规定p∧q为真当且仅当p与q同时为真。;定义4析取联结词∨

设p，q为二个命题，复合命题“p或q”称作p与q的析取式，

记作p∨q，∨称作析取联结词。

并规定p∨q为假当且仅当p与q同时为假。;定义5蕴涵联结词→

设p，q为二个命题，复合命题“如果p，则q”称作p与q的蕴涵式，记作p→q，→称作蕴涵联结词。并规定p→q为假当且仅当p为真q为假。;定义6等价联结词?

设p，q为二命题，复合命题“p当且仅当q”称作p与q的

等价式，记作p?q，?称作等价联结词。

p?q的逻辑关系表示q是p的充分必要条件。;§1.3命题公式与翻译;下面给出命题公式的递归定义。

(1)?单个命题变元是合式公式，并称为原子命题公式。

(2)?若A是合式公式，则(┐A)也是合式公式。

(3)?若A，B是合式公式，

则(A∧B)，(A∨B)，(A→B)，(A?B)也是合式公式。

(4)?只有有限次地应用(1)～(3)形式的符号串才是合式公式。

合式公式也称为命题公式或命题形式，并简称为公式。;二、真值表的构建;定义设p1,p2,…,pn是出现在公式A中的全部命题符号，

给p1,p2,…,pn各指定一个真值，称为对A的一个赋值或解释。

若指定的一组值使A的真值为T，则称这组值为A的成真赋值；

若使A的真值为F，则称这组值为A的成假赋值。;我们可以用命题公式表示复合命题，常将这个过程称为命题的符号化，或称为命题的翻译。命题的翻译可按如下步骤进行：

①找出复合命题中的简单命题。

②用英文字母表示这些简单命题。

③使用命题联结词将这些英文字母连接起来。;例试翻译下列命题。

(1)这个材料无趣,习题也不难,而且这门课程也不使人喜欢。

(2)如果这个材料无趣,或者习题难,

那么这门课程就不使人喜欢。

(3)这个材料有趣,意味着习题难,反之亦然。

(4)或者这个材料有趣,或者习题难,二者恰具其一。;例设A=明天上午七点下雨,B=明天上午七点刮风,C=我去学校,

试用A，B，C表示下列复合命题：

(1)如果明天上午七点不刮风下雨，则我去学校；

(2)如果明天上午七点不下雨并且也不刮风，则我去学校；

(3)如果明天上午七点下雨或不刮风，则我去学校；

(4)明天我风雨无阻，一定去学校；

(5)只有当明天上午七点不下雨并且也不刮风时，我才去学校；

(6)只有当明天上午七点下雨或刮风都不发生时，我才去学校．;§1.4真值表与等价公式;§1.５重言式与等值演算;等值演算;5.分配律

????????A∨(B∧C)?(A∨B)∧(A∨C)（∨对∧的分配律）

???????A∧(B∨C)?(A∧B)∨(A∧C)（∧对∨的分配律）

6.德摩根律

????????(A∨B)??A∧?B，?(A∧B)??A∨?B

7.吸收律

????????A∨(A∧B)?A，A∧(A