基本复合命题
- 格式:ppt
- 大小:120.00 KB
- 文档页数:36


一、基本命题形式:简单命题(直言命题&关系命题)复合命题(负命题&假言命题&选言命题&联言命题&等值命题)二、五种基本复合命题逻辑关系:否定>合取=析取>蕴含>等值三、排斥选言命题和必要条件的假言命题排斥选言命题:要么p要么q:(p^q)v-(p^q)必要条件的假言命题:只有p才q:后件蕴含前件:-p→-q 或q→p一个含有N个不同命题变项的多重复合命题公式,有2n种真假组合情况。
例:pVq→r 有三个变项,其真值组合有8种先赋p真,再赋p假;先赋q真,再赋q假,即“一半一半”。
第三节复合命题的重言等值式一、复合命题公式的分类重言式(永真式):不论命题变项的真值赋值,总为真。
例:pV-p矛盾式(永假式):不论命题变项的真值赋值,总为假。
例:p^-p协调式(可真可假式)例:pVq复合命题A和B,如果A→B是重言式,则称A重言蕴含B;如果A<--->B是重言式,则称A 重言等值B。
二、常用的重言等值式1.p→q<--->-q→-p2.pVq<--->-p→q3.p^q<--->-(p→-q)4.(p<--->q)<--->(p--->q)^(q--->p)5.(p<--->q)<--->(p^q)V(-p^-q)6.-(p--->q)<--->(p^-q)7.-(pVq)<--->-p^-q8.-(p^q)<--->-p^-q9.-(p<--->q)<--->(p--->-q)^(-p--->q)10.-(p<--->q)<--->(p^-q)^(-p^q)三、真值表法判定一个等值式或蕴含式是否为重言式☆找出有几个命题变项→开始赋值(“一半一半”)☆☆各种真值组合均为真,则为重言式☆。