3.1--推理的形式结构PPT课件下载推荐.ppt

1、A1，A2，Ak 结论：B 推理的形式结构：（A1A2Ak）B（3）进行判断（真值表法，等值演算法，主析取范式法）,（1）马芳或去看电影或去游泳。解：设：p：马芳去看电影，q：马芳去游泳 前提：pq，p 结论：q 推理的形式结构：（pq）p）q,判断方法一：真值表法,真值表的最后一列全为1，所以（pq）p）q为重言式。因而推理正确。,判断方法二：等值演算法,（pq）p）q（pp）（qp）q（qp）q qpq 1 因为（pq）p）q为重言式，所以推理正确。,判断方法三：主析取范式法,（pq）p）q m0m1m2m3 所以（pq）p）q为重言式，推理正确。,（2）若下午气温超过30度，则王燕必去游

2、泳。设p：下午气温超过30度；q：王燕去游泳；r：王燕去看电影 前提：pq，qr 结论：rp 推理的形式结构：（pq）（qr）（rp）（*）m1m3m4m5m6m7可见（*）不是重言式，所以推理不正确。,如果AB成立，则推理AB是正确的；同时推理BA也是正确的。,思考：AB和AB的关系？,推理定律（重言蕴涵式）（1）A AB 附加律（2）AB A 化简律（3）（AB）A B 假言推理（4）（AB）B A 拒取式（5）（AB）B A 析取三段论（6）（AB）（BC）（AC）假言三段论（7）（AB）（BC）（AC）等价三段论（8）（AB）（CD）（AC）（BD）构造性二难（9）（AB）（CD）（B

3、D）（AC）破坏性二难,说明：第2.1节 等值式中给出的24个等值式，每个等值 式可以派生出两条推理定律。例如：AB AB产生两条推理定律 ABAB和AB AB,在解推理问题的过程中，如果命题变项较多，则采用真值表法，等值演算法，主析取范式法这三种方法来判断推理的形式结构的公式类型都不方便。解推理问题的构造证明法。构造证明是一个描述推理过程的命题公式的序列，其中每个公式或者是已知前提，或者是由某些前提应用推理规则得到的结论。,构造证明法的证明形式 前提：pq，qr，ps，s 结论：r（pq）证明：ps 前提引入 s 前提引入 p 拒取式 pq 前提引入 q 析取三段论 qr 前提引入 r 假言

4、推理 r（pq）合取引入,3.2 自然推理系统P,定义（自然推理系统P）自然推理系统P由以下三个部分组成：,1、字母表（1）命题变项符号：p，q，r，pi，qi，ri，（2）联结词符号：，（3）括号与逗号：（），,2、公式 参见命题公式的定义,3、推理规则（12个）,（1）前提引入规则：在证明的任何步骤上都可以引入前提。,（2）（中间）结论引入规则：在证明的任何步骤上所得到的中间结论都可以作为后继证明的前提。（这是12个推理规则中唯一的一个隐规则。）,（3）置换规则：在证明的任何步骤上，命题公式中的子公式都可以用与之等值的公式置换，得到公式序列中的又一个公式。,由九条推理定律和结论引入规则可以

5、导出以下各条推理定律。（4）假言推理规则（分离推理规则）：若证明的公式序列中出现过AB和A，则由假言推理定律（AB）AB可知，B是AB和A的有效结论，由结论引入规则可知，可将B引入到命题序列中来。（5）附加规则：A（AB）（6）化简规则：AB A（7）拒取式规则：（AB）BA（8）假言三段论规则：（AB）（BC）（AC）,（9）析取三段论规则：（AB）BA（10）构造性二难推理规则：（AB）（CD）（AC）（BD）（11）破坏性二难推理规则：（AB）（CD）（BD）（AC）（12）合取引入规则：若证明的公式序列中出现过A和B，则AB是A和B的有效结论。,推理规则（12个）（1）前提引入规则（2

6、）结论引入规则（隐规则）（3）置换规则：等值置换（4）假言推理规则：（AB）AB（5）附加规则：（AB）（BC）（AC）（9）析取三段论规则：（AB）BA（10）构造性二难推理规则（11）破坏性二难推理规则（12）合取引入规则,利用构造证明来证明形式结构为（A1A2Ak）B的推理时 首先写出：前提：B 证明：,注意：不用写出推理的形式结构：（A1A2Ak）B,例 在自然推理系统P中构造下面推理的证明：（1）前提：ps 前提引入 s 前提引入 p 拒取式（AB）BA pq 前提引入 q 析取三段论（AB）BA qr 前提引入 r 假言推理（AB）AB r（pq）合取引入,（2）前提：pq，rq，

7、rs 结论：ps,证明：pq 前提引入 pq 置换 rq 前提引入 qr 置换 pr 假言三段论 rs 前提引入 ps 假言三段论规则,例 在自然推理系统P中构造下面的推理的证明：若数a是实数，则它不是无理数就是有理数。若a不能表示成分数，则它不是有理数。a是实数且它不能表示成分数。所以a是无理数。,解：首先将简单命题符号化：令 p：a是实数；a是有理数；a是无理数；s：a能表示成分数,解题步骤：（1）简单命题的符号化（2）写出前提和结论（3）证明,前提：p（qr），sq，ps结论：r,证明：ps 前提引入 p 化简（AB）A s 化简 sq 前提引入 q 假言推理（AB）AB p（qr）前提

8、引入 qr 假言推理 r 析取三段论（AB）BA,前提：r,使用构造证明法进行推理时的证明技巧（1）附加前提证明法 有时要证明的结论以蕴涵式的形式出现，即推理的形式结构为（A1A2Ak）（AB）对该式进行等值演算：（A1A2Ak）（AB）（A1A2Ak）（AB）（A1A2Ak）A）B（A1A2Ak A）B（A1A2Ak A）B,可见，如果能证明是重言式，则也是重言式。在中，原来的结论中的前件A已经变成前提了，称A为附加前提。称这种将结论中的前件作为前提的证明方法为附加前提法。,例：在自然推理系统P中构造下面推理的证明 如果小张和小王去看电影，则小李也去看电影。小赵不去看电影或小张去看电影。小王

9、去看电影。所以，当小赵去看电影时，小李也去。将简单命题符号化 令 p：小张去看电影；小王去看电影；小李去看电影；小赵去看电影,前提：（pq）r，sp，q结论：sr,前提：（pq）r，sp，q，s结论：s 附加前提引入 sp 前提引入 p 析取三段论（AB）BA q 前提引入 pq 合取引入（pq）r 前提引入 r 假言推理（AB）AB,前提：（pq）r，sp，q，s 结论：r,证明方法一：附加前提法,前提：sr,证明方法二：直接证明 前提：（pq）r，sp，q 结论：sr,证明：sp 前提引入 sp 置换（pq）r 前提引入 pr 化简 sr 假言三段论,证明：sp 前提引入 sp 置换（pq

10、）r 前提引入 pqr 置换 q 前提引入 pr 析取三段论 pr 置换 sr 假言三段论,证明方法二：sr,（2）归谬法 在构造形式结构为（A1A2Ak）B的推理证明中，若将B作为前提能推出形如（AA）的矛盾来，则说明推理正确，这种方法称为归谬法。在自然推理系统P中构造下面推理的证明 如果小张守第一垒并且小李向B队投球，则A队将取胜。或者A队未取胜，或者A队成为联赛第一名。A对没有成为联赛的第一名。小张守第一垒。因此，小李没向B队投球。将简单命题符号化：小张守第一垒；小李向B队投球；A队取胜；A队成为联赛第一名 前提：（pq）r，rs，s，p 结论：q,前提：（pq）r，rs，s，p，q结论

11、：0,证明：q 结论的否定引入 p 前提引入 pq 合取（pq）r 前提引入 r 假言推理 rs 前提引入 s 前提引入 r 析取三段论 rr 合取,前提：0,前提：（pq）r，rs，s，p结论：q,证明：rs 前提引入 s 前提引入 r 析取三段论（pq）r 前提引入 pq 拒取式 p 前提引入 q 析取三段论,前提：q,思考题 尝试在自然推理系统P中利用构造证明法证明著名的“苏格拉底三段论”的正确性。苏格拉底三段论：“凡人要死。苏格拉底是人。所以苏格拉底要死。”,显然在命题逻辑中就根本无法判断“苏格拉底三段论”的正确性。”p：凡人要死 q：苏格拉底是人 r：苏格拉底要死 则此三段论表示为（pq）r 苏格拉底三段论是正确的，但（pq）r却不是重言式。,命题逻辑是有缺陷的。,例如：张三和李四是兄弟。李四和王五是兄弟。所以张三和王五也是兄弟。很显然，在命题逻辑中也无法证明这个推理的正确性。而这个推理是正确的。,命题逻辑的特点和局限性：命题是命题演算的基本单位，不再对简单命题进行分解。这样的方法太粗略，无法研究命题的内部结构及命题之间内在的联系。因而命题逻辑在推理方面存在局限性。,要反映这种内在联系，就要对简单命题做进一步的分析 分析出其中的个体词、谓词、量词等，研究它们的形式结构和逻辑关系，总结出正确的推理形式和规则，这就是一阶逻辑（谓词逻辑）的研究内容。,