命题逻辑的推理理论ch.ppt

《命题逻辑的推理理论ch.ppt》由会员分享，可在线阅读，更多相关《命题逻辑的推理理论ch.ppt（46页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、本章说明本章说明本章说明本章说明q本章的主要内容本章的主要内容推理的形式结构推理的形式结构自然推理系统自然推理系统P Pq本章与后续各章的关系本章与后续各章的关系本章是第五章的特殊情况和先行准备本章是第五章的特殊情况和先行准备q3.1 3.1 推理的形式结构推理的形式结构q3.2 3.2 自然推理系统自然推理系统P Pq 本章小结本章小结q 习题习题q 作业作业3.1 3.1 推理的形式结构推理的形式结构推理的形式结构推理的形式结构q数理逻辑的主要任务是数理逻辑的主要任务是用数学的方法来研究数学中的用数学的方法来研究数学中的推理推理。q推理推理是指从前提出发推出结论的思维过程。是指从前提出发推

2、出结论的思维过程。q前提前提是已知命题公式集合。是已知命题公式集合。q结论结论是从前提出发应用推理规则推出的命题公式。是从前提出发应用推理规则推出的命题公式。q证明证明是描述推理正确或错误的过程。是描述推理正确或错误的过程。q要研究推理，首先应该明确什么样的推理是有效的或要研究推理，首先应该明确什么样的推理是有效的或正确的。正确的。定义定义3.1 3.1 设设A A1 1,A,A2 2,A,Ak k和和B B都是命题公式，若对于都是命题公式，若对于A A1 1,A,A2 2,A,Ak k和和B B中出现的命题变项的任意一组赋值，中出现的命题变项的任意一组赋值，（1 1）或者）或者A A1 1A

3、A2 2 A Ak k为假为假;（2 2）或者当）或者当A A1 1AA2 2 A Ak k为真时，为真时，B B也为真也为真;则称由前提则称由前提A A1 1,A,A2 2,A,Ak k推出推出B B的的推理是有效的或正确推理是有效的或正确的的，并称，并称B B是是有效结论有效结论。有效推理的定义有效推理的定义有效推理的定义有效推理的定义关于有效推理的说明关于有效推理的说明q A1，A2，Ak由由 推推B的推理记为的推理记为 B若推理是正确的，记为若推理是正确的，记为 B若推理是不正确的，记为若推理是不正确的，记为 Bq由前提由前提A1，A2，Ak推结论推结论B的推理是否正确的推理是否正确与

4、诸前提的排列次序无关。与诸前提的排列次序无关。关于有效推理的说明关于有效推理的说明q设设A A1 1，A A2 2，A Ak k，B B中共出现中共出现n n个命题变项，对于任何个命题变项，对于任何一组赋值一组赋值1 12 2n n(i i=0=0或者或者1 1，i=1,2,n)i=1,2,n)，前提前提和结论的取值情况有以下四种：和结论的取值情况有以下四种：(1)(1)A A1 1AA2 2 A Ak k为为0 0，B B为为0 0。(2)(2)A A1 1AA2 2 A Ak k为为0 0，B B为为1 1。(3)(3)A A1 1AA2 2 A Ak k为为1 1，B B为为0 0。(4

5、)(4)A A1 1AA2 2 A Ak k为为1 1，B B为为1 1。q只要不出现只要不出现(3)(3)中的情况，推理就是正确的，因而判断中的情况，推理就是正确的，因而判断推理是否正确，就是判断是否会出现推理是否正确，就是判断是否会出现(3)(3)中的情况。中的情况。q推理正确，并不能保证结论推理正确，并不能保证结论B B一定为真一定为真。(1)(1)p,pq qp,pq q(2)p,qp q(2)p,qp q 例例3.13.1 判断下列推理是否正确。（真值表法）判断下列推理是否正确。（真值表法）pqp(pq)qp(qp)q000000010101100010111111例题例题例题例题正

6、确正确不正确不正确定理定理3.13.1 命题公式命题公式A A1 1,A,A2 2,A,Ak k推推B B的推理正确当且仅当的推理正确当且仅当 (A A1 1AA2 2AAk k)B )B 为重言式。为重言式。q该定理是判断推理是否正确的另一种方法。该定理是判断推理是否正确的另一种方法。说明说明有效推理的等价定理有效推理的等价定理有效推理的等价定理有效推理的等价定理定理定理3.13.1的证明的证明(1)(1)证明必要性。若证明必要性。若A A1 1,A,A2 2,A,Ak k推推B B的推理正确，的推理正确，则对于则对于A A1 1,A,A2 2,A,Ak k,B,B中所含命题变项的任意一组赋

7、值，不会出中所含命题变项的任意一组赋值，不会出现现A A1 1AA2 2AAk k为真，而为真，而B B为假的情况，为假的情况，因而在任何赋值下，蕴涵式因而在任何赋值下，蕴涵式(A A1 1AA2 2AAk k)B)B均为真，故它均为真，故它为重言式。为重言式。(2)(2)证明充分性。若蕴涵式证明充分性。若蕴涵式(A A1 1AA2 2AAk k)B)B为重言式，为重言式，则对于任何赋值此蕴涵式均为真，因而不会出现前件为真后件则对于任何赋值此蕴涵式均为真，因而不会出现前件为真后件为假的情况，为假的情况，即在任何赋值下，或者即在任何赋值下，或者A A1 1AA2 2AAk k为假，为假，或者或者

8、A A1 1AA2 2AAk k和和B B同时为真，这正符合推理正确的定义。同时为真，这正符合推理正确的定义。当推理正确时，当推理正确时，q形式（形式（1）记为）记为 B。q形式（形式（2）记为）记为A1 A2 AkB。表示蕴涵式为重言式。表示蕴涵式为重言式。(1)设设=A1,A2,Ak，记为记为 B。(2)A1 A2 AkB(3)前提：前提：A1,A2,Ak结论：结论：B说明说明推理的形式结构推理的形式结构推理的形式结构推理的形式结构q 真值表法真值表法 q 等值演算法等值演算法 q 主析取范式法主析取范式法判断推理是否正确的方法判断推理是否正确的方法q是否有其他的证明方法？是否有其他的证明

9、方法？思考思考q当命题变项较少时当命题变项较少时,这三种方法比较方便这三种方法比较方便。说明说明（1 1）下午马芳或去看电影或去游泳。她没去看电影，所以，她下午马芳或去看电影或去游泳。她没去看电影，所以，她 去游泳了。去游泳了。例例3.23.2 判断下列推理是否正确。（等值演算法）判断下列推理是否正确。（等值演算法）解：设解：设p:p:马芳下午去看电影，马芳下午去看电影，q:q:马芳下午去游泳。马芳下午去游泳。前提：前提：p pq q，p p 结论：结论：q q 推理的形式结构：推理的形式结构：(p(pq)q)p)p)q q (p (pq)q)p)p)q q (p(pq)q)p)p)q q (

10、p pq)q)p p)q q (p pp p)(q qp)p)q q (q qp)p)q q 1 1由定理由定理 3.1 3.1可知，可知，推理正确。推理正确。例题例题例题例题(2)(2)若下午气温超过若下午气温超过3030，则王小燕必去游泳；若她去游泳，她，则王小燕必去游泳；若她去游泳，她就不去看电影了。所以王小燕没有去看电影，下午气温必超过了就不去看电影了。所以王小燕没有去看电影，下午气温必超过了3030。（主析取范式法）（主析取范式法）解：设解：设p：下午气温超过：下午气温超过30。q：王小燕去游泳。：王小燕去游泳。r：王小燕去看电影。：王小燕去看电影。前提：前提：pq，qr结论：结论：

11、rp推理的形式结构：推理的形式结构：(pq)(qr)(rp)(3.4)用主析取范式法判断用主析取范式法判断(3.4)式是否为重言式。式是否为重言式。(pq)(qr)(rp)(pq)(qr)(rp)(pq)(qr)(rp)(p q)(q r)r p r p(用两次吸收律用两次吸收律)(p q r)(p q r)(p q r)(p q r)(p q r)(p q r)(p q r)(p q r)m1 m3 m4 m5 m6 m7（重排了序）（重排了序）可见可见(3.4)式不是重言式（主析取范式中少两个极小项式不是重言式（主析取范式中少两个极小项m0，m2），所以推理不正确。），所以推理不正确。(1

12、)A(1)A (AB)(AB)附加律附加律(2)(2)(AB)AB)A A 化简律化简律(3)(3)(AB)A AB)A B B 假言推理假言推理(4)(4)(AB)B AB)B A A 拒取拒取式式(5)(5)(AB)B AB)B A A 析取三段论析取三段论 (6)(6)(AB)(BC)AB)(BC)(AC)(AC)假言三段论假言三段论(7)(7)(A AB)(BB)(BC)C)(A(A C)C)等价三段论等价三段论(8)(8)(AB)(CD)(AC)AB)(CD)(AC)(BD)(BD)构造构造性二难性二难 (AB)(AB)(AA)AB)(AB)(AA)B B 构造性二难构造性二难 (特

13、殊形式特殊形式)(9)(9)(AB)(CD)(BD)AB)(CD)(BD)(AC)(AC)破坏性二难破坏性二难推理定律推理定律推理定律推理定律-重言蕴含式重言蕴含式重言蕴含式重言蕴含式小节结束小节结束关于推理定律的几点说明关于推理定律的几点说明关于推理定律的几点说明关于推理定律的几点说明qA,B,CA,B,C为元语言符号，代表任意的命题公式。为元语言符号，代表任意的命题公式。q若一个推理的形式结构与某条推理定律对应的蕴涵若一个推理的形式结构与某条推理定律对应的蕴涵式一致，则不用证明就可断定这个推理是正确的。式一致，则不用证明就可断定这个推理是正确的。q2.12.1节给出的节给出的2424个等值

14、式中的每一个都派生出两条推个等值式中的每一个都派生出两条推理定律。例如双重否定律理定律。例如双重否定律A A A A产生两条推理定产生两条推理定律律A A A A和和 A AA A。q由九条推理定律可以产生九条推理规则由九条推理定律可以产生九条推理规则,它们构成了它们构成了推理系统中的推理规则推理系统中的推理规则。3.2 3.2 自然推理系统自然推理系统P Pq判断推理是否正确的三种方法：真值表法、等值演判断推理是否正确的三种方法：真值表法、等值演算法和主析取范式法。算法和主析取范式法。q当推理中包含的命题变项较多时，上述三种方法演当推理中包含的命题变项较多时，上述三种方法演算量太大。算量太大

15、。q对于由前提对于由前提A A1 1,A,A2 2,A,Ak k推推B B的正确推理应该给出严谨的正确推理应该给出严谨的证明的证明。q证明是一个描述推理过程的命题公式序列，其中的证明是一个描述推理过程的命题公式序列，其中的每个公式或者是前提，或者是由某些前提应用推理每个公式或者是前提，或者是由某些前提应用推理规则得到的结论（中间结论或推理中的结论）。规则得到的结论（中间结论或推理中的结论）。q要构造出严谨的证明就必须在形式系统中进行。要构造出严谨的证明就必须在形式系统中进行。q定义定义3.2 3.2 一个形式系统一个形式系统I I由下面四个部分组成：由下面四个部分组成：（1 1）非空的字符表集

16、，记作非空的字符表集，记作A(I)A(I)。（2 2）A(I)A(I)中符号构造的合式公式集，记作中符号构造的合式公式集，记作E(I)E(I)。（3 3）E(I)E(I)中一些特殊的公式组成的公理集，记作中一些特殊的公式组成的公理集，记作AX(I)AX(I)。（4 4）推理规则集，记作推理规则集，记作R(I)R(I)。可以将可以将I I记为记为.其中其中是是I I的的形式语言系统，形式语言系统，为为I I的形式演算系统。的形式演算系统。q形式系统一般分为两类形式系统一般分为两类:自然推理系统自然推理系统 公理推理系统公理推理系统 自然推理系统的定义自然推理系统的定义q1 1字母表字母表（1 1

17、）命题变项符号：命题变项符号：p p，q q，r r，,pi,pi，qiqi，riri，（2 2）联结词符号：联结词符号：,（3 3）括号和逗号：括号和逗号：(,)(,)，q2 2合式公式合式公式 同同定义定义1.61.6q33推理规则推理规则（1 1）前提引入规则：在证明的任前提引入规则：在证明的任何步骤上都可以引入前提。何步骤上都可以引入前提。（2 2）结论引入规则：在证明的任结论引入规则：在证明的任何步骤上所得到的结论都可以作为后继证明何步骤上所得到的结论都可以作为后继证明的前提。的前提。（3 3）置换规则：在证明的任何步置换规则：在证明的任何步骤上，命题公式中的子公式都可以用与之等骤上

18、，命题公式中的子公式都可以用与之等值的公式置换，得到公式序列中的又一个公值的公式置换，得到公式序列中的又一个公式。式。自然推理系统的定义自然推理系统的定义（4 4）假言推理规则）假言推理规则 A AB B A A B B（5 5）附加规则）附加规则 A A A A B B（6 6）化简规则）化简规则 A A B B A A（4 4）若今天下雪）若今天下雪,则将去滑则将去滑雪。今天下雪，所以去滑雪。雪。今天下雪，所以去滑雪。（5 5）现在气温在冰点以下。）现在气温在冰点以下。因此，要么现在气温在冰点因此，要么现在气温在冰点以下，要么现在下雨。以下，要么现在下雨。（6 6）现在气温在冰点以下并）现

19、在气温在冰点以下并且正在下雨。因此，现在气且正在下雨。因此，现在气温在冰点以下。温在冰点以下。自然推理系统的定义自然推理系统的定义（7 7）拒取式规则）拒取式规则 A AB B B B A A（8 8）假言三段论规则假言三段论规则 A AB B B BC C A AC C（9 9）析取三段论规则）析取三段论规则 A A B B B B A A（7）如果如果x x是偶数是偶数,则则x2x2是偶数。是偶数。x x不是偶数。不是偶数。x2x2不是偶数不是偶数自然推理系统的定义自然推理系统的定义（1010）构造性二难推理规则）构造性二难推理规则 A AB B C CD D A A C C B B D

20、D （1111）破坏性二难推理规则）破坏性二难推理规则 A AB B C CD D B BD D A AC C（1212）合取引入规则合取引入规则 A A B B A A B B例例1)1)、前提：、前提：1.1.如果明天天晴，我们准备外出旅游。如果明天天晴，我们准备外出旅游。PQPQ2 2明天的确天晴。明天的确天晴。P结论：我们外出旅游。结论：我们外出旅游。Q Q上述例子可描述为：上述例子可描述为：PQPQ，P PQ Q(假言推理假言推理)2)2)、前提：、前提：1.如果一个人是单身汉，则他不幸福。PQ2.如果一个人不幸福，则他死得早。QR结论：单身汉死得早。结论：单身汉死得早。PRPR上述

21、例子可描述为：上述例子可描述为：PQ，QRPR(前提前提三段论三段论)考虑以下语句，并将其前提和结论符号化。考虑以下语句，并将其前提和结论符号化。例例3)3)、某女子在某日晚归家途中被杀害，据多方调查确证，、某女子在某日晚归家途中被杀害，据多方调查确证，凶手必为王某或陈某，但后又查证，作案之晚王某在凶手必为王某或陈某，但后又查证，作案之晚王某在工厂值夜班，没有外出，根据上述案情可得前提如下：工厂值夜班，没有外出，根据上述案情可得前提如下：前提：前提：1.1.凶手为王某或陈某。凶手为王某或陈某。PQPQ2.如果王某是凶手，则他在作案当晚必外出。PR3.王某案发之晚并未外出。R结论：陈某是凶手。结

22、论：陈某是凶手。Q Q则上述例子可描述为：则上述例子可描述为：PR,RP(拒取拒取式式)PQ，PQ (析取析取三段论三段论)例例4)4)、前提：、前提：1.如果某同学为省二级以上运动员，则他将被大学录取。PR2.如果某同学高考总分在560分以上，则将被大学录取。QR3.某同学高考总分在560分以上或者是省二级运动员。PQ结论：该同学被大学录取。结论：该同学被大学录取。R R则上述例子可描述为：则上述例子可描述为：PQ，PR，QRR(构造性二难推理)证明证明：令：令P P：马会飞；：马会飞；Q Q：羊吃草；：羊吃草；R R：母鸡是飞鸟；：母鸡是飞鸟；S S：那么烤熟的鸭子还会跑。：那么烤熟的鸭子

23、还会跑。如果马会飞或羊吃草，则母鸡就会是飞鸟；如果母鸡是如果马会飞或羊吃草，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑。所飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑。所以羊不吃草。以羊不吃草。例例证证明明：S SP PRSRSP PR R拒取式拒取式PQRPQRP P(PQ)(PQ)拒取式拒取式PQPQQ Q简化式简化式符号化上述语句为：符号化上述语句为：=PQR,RS,S,G=Q=PQR,RS,S,G=Q。证。证明明G G。在自然推理系统在自然推理系统在自然推理系统在自然推理系统P P P P中构造证明中构造证明中构造证明中构造证明qP P中构造证明就是由一组

24、中构造证明就是由一组P P中公式作为前提，利用中公式作为前提，利用P P中的规则，推出结论。中的规则，推出结论。q构造形式结构构造形式结构A A1 1 A A2 2 A Ak k B B 的推理的的推理的书写方书写方法：法：前提：前提：A A1 1,A,A2 2,A,Ak k 结论：结论：B Bq证明方法：证明方法：直接证明法直接证明法 附加前提法附加前提法归谬法（或称反证法）归谬法（或称反证法）例题例题例例3.33.3 在自然推理系统在自然推理系统P P中构造下面推理的证明：中构造下面推理的证明：前提：前提：pq,rq,rs pq,rq,rs 结论：结论：ps ps pqpq 前提引入前提引

25、入 pq pq 置换置换 rqrq 前提引入前提引入 qr qr 置换置换 pr pr 假言三段论假言三段论 rs rs 前提引入前提引入 ps ps 假言三段论假言三段论 例题例题例题例题例例3.33.3 在自然推理系统在自然推理系统P P中构造下面推理的证明：中构造下面推理的证明：前提：前提：pp（qrqr）,p,pq q 结论：结论：rs rs pp（qrqr）前提引入前提引入 p pq q 前提引入前提引入 p p 化简化简 q q 化简化简 qrqr 假言推理假言推理 r r 假言推理假言推理 rsrs 附加附加 rsrs置换置换例例3.4若数a是实数，则它不是有理数就是无理数。若a

26、不能表示成分数，则它不是有理数；a是实数且它不能表示成分数。所以a是无理数。解首先将简单命题符号化：设p：a是实数。q：a是有理数。r：a是无理数。s：a能表示成分数。前提：p(qr),sq,ps结论：r ps ps 前提引入前提引入 p p 化简化简 s s 化简化简 p(qr)p(qr)前提引入前提引入 qr qr 假言推理假言推理 sqsq 前提引入前提引入 q q 假言推理假言推理 r r 析取三段论析取三段论 例题例题例题例题例题例题例例3.53.5 在自然推理系统在自然推理系统P P中构造下面推理的证明。中构造下面推理的证明。如果小张和小王去看电影，则小李也去看电影；小赵不去如果小

27、张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去看电影。看电影时，小李也去看电影。构造证明：构造证明：（1 1）将简单命题符号化：）将简单命题符号化：设设 p:p:小张去看电影。小张去看电影。q:q:小王去看电影。小王去看电影。r:r:小李去看电影。小李去看电影。s:s:小赵去看电影。小赵去看电影。例题例题（2 2）形式结构：形式结构：前提：前提：(pq)r,sp,q pq)r,sp,q 结论：结论：sr sr（3 3）证明：用附加前提证明法）证明：用附加前提证明法 s s 附加前

28、提引入附加前提引入 spsp 前提引入前提引入 p p 析取三段论析取三段论 (pq)r pq)r 前提引入前提引入 q q 前提引入前提引入 pqpq 合取合取 r r 假言推理假言推理 例题例题例例3.63.6 在自然推理系统在自然推理系统P P中构造下面推理的证明。中构造下面推理的证明。如果小张守第一垒并且小李向如果小张守第一垒并且小李向B B队投球，则队投球，则A A队将取胜；或者队将取胜；或者A A队队未取胜，或者未取胜，或者A A队获得联赛第一名；队获得联赛第一名；A A队没有获得联赛的第一名；队没有获得联赛的第一名；小张守第一垒。因此，小李没有向小张守第一垒。因此，小李没有向B

29、B队投球。队投球。构造证明：构造证明：（1 1）将简单命题符号化：）将简单命题符号化：设设 p:p:小张守第一垒。小张守第一垒。q:q:小李向小李向B B队投球。队投球。r:Ar:A队取胜。队取胜。s:As:A队获得联赛第一名。队获得联赛第一名。（2 2）形式结构：）形式结构：前提：前提：(pq)r,rs,s,p pq)r,rs,s,p 结论：结论：q q 例题例题（3 3）证明：用归谬法）证明：用归谬法 q q 结论的否定引入结论的否定引入 rs rs 前提引入前提引入 s s 前提引入前提引入 r r 析取三段论析取三段论 (pq)r pq)r 前提引人前提引人 (pq)pq)拒取式拒取式

30、 pq pq 置换置换 p p 前提引入前提引入 q q 析取三段论析取三段论 qqqq 合取合取 由于最后一步为矛盾式，所以推理正确。由于最后一步为矛盾式，所以推理正确。小节结束小节结束本章主要内容本章主要内容q推理的形式结构：推理的形式结构：推理的前提推理的前提推理的结论推理的结论推理正确推理正确q判断推理是否正确的方法：判断推理是否正确的方法：真值表法真值表法等值演算法等值演算法主析取范式法主析取范式法 q对于正确的推理，在自然推理系统对于正确的推理，在自然推理系统P P中构造证明中构造证明:自然推理系统自然推理系统P P的定义的定义自然推理系统自然推理系统P P的推理规则：的推理规则：

31、附加前提证明法附加前提证明法归谬法归谬法本章学习要求本章学习要求q理解并记住推理的形式结构的三种等价形式，即理解并记住推理的形式结构的三种等价形式，即A1,A2,AkBA1A2AkB前提：前提：A1,A2,Ak结论：结论：B在判断推理是否正确时，用在判断推理是否正确时，用；在；在P系统中构造证明时用系统中构造证明时用。q熟练掌握判断推理是否正确的三种方法（真值表法，等值演算熟练掌握判断推理是否正确的三种方法（真值表法，等值演算法，主析取范式法）。法，主析取范式法）。q牢记牢记P系统中的各条推理规则。系统中的各条推理规则。q对于给定的正确推理，要求在对于给定的正确推理，要求在P系统中给出严谨的证

32、明序列。系统中给出严谨的证明序列。q会用附加前提证明法和归谬法。会用附加前提证明法和归谬法。小节结束小节结束习题习题1、用用不不同同的的方方法法验验证证下下面面推推理理是是否否正正确确。对对于于正正确确的的推推理理还还要在要在P系统中给出证明。系统中给出证明。（1）前提：前提：pq,q结论：结论：p（2）前提：前提：qr,pr结论：结论：qp（1）不正确。）不正确。验证答案，只需证明验证答案，只需证明(pq)qp不是重言式。不是重言式。方法一方法一等值演算等值演算(pq)qp(p q)q)p(pq)qp(p q)(q q)p p q易易知知10是是成成假假赋赋值值，故故(pq)qp不不是是重重

33、言言式式，所所以以推理不正确。推理不正确。方法二方法二主析取范式法主析取范式法经过演算后可知经过演算后可知(pq)qpm0 m1 m3未含未含m2,故故(pq)qp不是重言式。不是重言式。方法三方法三直接观察出直接观察出10是成假赋值。是成假赋值。方法四方法四真值表法真值表法(pq)qp的真值表为的真值表为pq(pq)qp001101010111结论（不正确）是对的。结论（不正确）是对的。（2）推理正确）推理正确方法一方法一真值表法（自己做）真值表法（自己做）方法二方法二等值演算法（自己做）等值演算法（自己做）方法三方法三主析取范式法（自己做）主析取范式法（自己做）方法四方法四P系统中构造证明

34、系统中构造证明证明：证明：（直接证明法）（直接证明法）pr（前提引入）前提引入）rp（置换）置换）qr（前提引入）前提引入）qp（假言三段论）假言三段论）2、在、在P系统中构造下面推理的证明：系统中构造下面推理的证明：如果今天是周六，我们就到颐和园或圆明园玩。如果今天是周六，我们就到颐和园或圆明园玩。如如果颐和园游人太多，就不去颐和园。果颐和园游人太多，就不去颐和园。今天是周六，并且今天是周六，并且颐和园游人太多。颐和园游人太多。所以我们去圆明园或动物园玩。所以我们去圆明园或动物园玩。构造证明：构造证明：（1）设设p：今天是周六。今天是周六。q：到颐和园玩。到颐和园玩。r：到圆明园玩。到圆明园玩。s：颐和园游人太多。颐和园游人太多。t：到动物园玩。到动物园玩。（2）前提：）前提：p(q r),sq,p,s结论：结论：r t（3）证明：证明：p(q r)前提引入前提引入p前提引入前提引入q r假言推理假言推理sq前提引入前提引入s前提引入前提引入 q假言推理假言推理r析取三段论析取三段论r t附加附加小节结束小节结束作业作业习题三习题三：14（1）、）、15（1）、）、16（1）结束结束