1、第一章第一章 常用逻辑用语常用逻辑用语 一、一、命题命题 1、定义:可以判断真假旳陈说语句,分为真命题和假命题.2pq、一般形式:“若 则”.二、二、四种命题四种命题 pq pqqp qppqpqqpqp 原命题:若 则逆命题:若 则否命题:若则逆否命题:若则 例:原:若一种数是负数,则它旳平方是正数.(真)逆:若一种数旳平方是正数,则这个数是负数.(假)否:若一种数不是负数,则它旳平方不是正数.(假)逆否:若一种数旳平方不是正数,则这个数不是负数.(真)结论:互为逆否旳命题同真,同假.原命题与逆命题、原命题与否命题旳真假无关.三、三、充足条件与必要条件充足条件与必要条件 1,pqpqqppq
2、pqqppqqppqpqpq、若称 是 的充分条件,是 的必要条件.2、若称 不是 的充分条件,不是 的必要条件.3、若而且记作“”,称 是 的充分必要条件,简称 是 的充要条件.pqpqpqpq注:可以借助集合关系来判定:是 的充分条件.是 的充分不必要条件.例:四、复合命题真假的表格.1、2、3、“福州人”“福建人”集合“福州人”“福建人”命题“福州人”是“福建人”的充分条件.“福建人”是“福州人”的必要条件.五、五、全称量词、存在量词全称量词、存在量词 01:,:,pxM P xpxM P x 、全称命题它的否定 00:,:,pxM P xpxM P x 2、特称命题它的否定 例:“四边形都有外接圆”:,.PABCDABCD四边形都有、共圆 全称命题 0111111:+=20.PABC DACABCD四边形其中,其中、不共圆 特称命题 200020 xRxx“存在,使+2 2000:20PxRxx,使+2 2:20PxRxx,+2