第3章2命题逻辑推理系统(精品·公开课件).ppt

第三节 命题演算 一、重言式及其判定 （一）真值联结词、真值形式复合命题形式在数理逻辑中叫真值形式。表示关系的联结词叫真值联结词。真值联结词是日常语言联结词在真假关系上的一种抽象。;真值联结词有五个：否定? 、合取∧ 、析取∨ 、蕴涵→ 、等值←→ 。真值形式就是真值联结词与命题变项所构成的形式结构。命题变项是组成复合命题的原子命题,用字母p、q、r、s···表示。;五种基本的真值形式：合取式：p∧q析取式：p∨q蕴涵式：p→q等值式：p←→q否定式：? p五种基本形式可生成更复杂的形式，1、（（p→q）∧（p→?q））→?p；2、（（p→q）∧（r→s）∧ （p∧r））→（q∧s） ;真值形式最外层的括号根据五个联结词的结合力可以省略，结合力按照下列顺序递减：?、∧、∨、→、←→(p∧q)→r) ←→(p∨s)可以省略为：p∧q→r ←→p∨s;复合命题真假与其支命题真假之间的关系与数学中的函数类似。在数学中，函数是用下面的公式表示的： y=f（x）其中，x是自变元，y是函数的值，f是函数关系。例如：y=x2;数理逻辑引入函数原理来说明复合命题与其支命题之间的真假关系，它把这种关系当作一种函项关系，把这种函数叫做真值函项。真值函项的值不是数，而是真值。;数学中同一个函数可以有不同的表现形式，例如：y=2x2+x，y=x（2x+1）同样，数理逻辑中，同一个真值函项也可以有不同的真值形式，例如：p?q，?（p∧?q）;真值形式的数目是无穷的，但是在命题变项的数目给定之后，真值函项的数目也就确定了。n个命题变项的真假组合会有多少个真值函项？;当n=1时，只有一个命题变项p，而p本身有真或假两种取值，当p取真时，对应的真值函项有真或假两种可能，当p取假时，对应的真值函项也有真或假两种可能。因此，一个命题变项对应的真值函项有四种。;当n=2时，命题变项p和q取值：p真时，对应q有真假两种可能；p假时，q也有真假两种可能；、两个命题变项有四种真假取值。对于p和q的四种取值，其真值函项真假取值情况共有16种。;两个命题变项有四种真假取值为： ? p q T T T F F T F F;对应的16种真值函项有p q f1f2f3f4f5f6f7f8f9f10f11f12f13f14f15f16T T TT T T T T T T F F F F F F F FT F TT T T F F F F T T T T F F F FF T TT F F T T F F T T F F T T F FF F TF T F T F T F T F T F T F T F;计算方法：1个命题变项，其真假取值有21个，对应的真值函项有2的21次方个。2个命题变项，其真假取值有22个，对应的真值函项有2的22次方个。n个命题变项，其真假取值有2n个，对应的真值函项又有2的2n次方个。;设想一下：两张红黑扑克牌，它们的红黑组合有多少种？这就相当于两个命题变项的4种真假组合。你猜对或猜不对各种组合的情况有多少种可能？这就相当于两个命题变项的4种真假组合对应的16种真值函项;再设想一下：你参加两次考试，它们及格和不及格的组合有多少种？这也相当于两个命题变项的4种真假组合。而4种情形对应的你考试时的精神状态的好坏有多少种？这也相当于两个命题变项的4种真假组合对应的16种真值函项;（二）真值函项的种类及其判定方法（1）真值函项的种类按真值函项的取值，真值函项分为：常真的。常假的。可满足的。真值形式也分为三类：重言式。如：p∨?p、p→p等。矛盾式。如：p∧?p、p←→?p。可满足式。如：p∨q、p→q。;命题逻辑中有效的推理在形式上都是重言式。要判定一个复合命题推理是否有效，其实质也就是判定反映该推理的公式是否为重言式。 介绍两种判定重言式的方法：真值表法归谬赋值法。 ;（2）真值表判定方法：第一步：找出公式中所有不同的命题变项，竖行列出它们之间所有可能的真假组合。例：判定（（p→q）∧p）→q p qT TT FF TF F;第二步：由简单到复杂横行列出该公式的所有子公式与该公式本身 p q p→q (p→q)∧p （p→q）∧p→q T TT FF TF F ;第三步：计算出各子公式的真值与该公式的真值。若该公式值都真，为重言式，都假，为矛盾式，有真有假，为可满足式。 ; p q p→q (p→q)∧