常用逻辑用语复习要点归纳与详解(一)
逻辑联结词1.命题:可以判断真假的语句叫做命题
2.逻辑联结词:“或”“且”“非”这些词叫做逻辑联结词
或:两个简单命题至少一个成立且:两个简单命题都成立,非:对一个命题的否定注意:两种否定的区别:对命题的否定只是否定命题的结论,而否命题既否定题设又否定结论3.真值表表示命题真假的表叫真值表pqP∧qP∨q┐p真真真真假真假假真假假真假真真假假假假真说明:有上表可知:P或q:“一真俱真”P且q:“一假俱假”命题的否定与原命题的真假性相反
存在量词和特称命题:存在量词:存在一个、至少一个,用表示特称命题:含有存在量词的命题叫特称命题
表示:特称命题的否定:,是全称命题
全称量词和全称命题全称量词:对所有的、对任意一个用表示全称命题:含有全称量词的命题叫全称命题
表示:全称命题的否定:,是特称命题
概念认知:试判断:因为对,反之则不成立.所以说全称命题是特称命题,特称命题不一定是全称命题.解答:全称命题和特称命题的判断关键是看强调“”还是“”,也就是说“全称命题”是指含有“全称量词”的命题,“特称命题”是指含有“特称量词”的命题,这个命题可能是真命题,也可能是假命题,而不是看命题本身的真假来确定是全称命题还是特称命题
高考链接:(2007·山东·7)命题“对任意的,”的否定是()A.不存在,B.存在,C.存在,D.对任意的,答案:C(二)四种命题1.四种命题:一般地,用p和q分别表示原命题的条件和结论,用┐p和┐q分别表示p和q的否定
于是四种命题的形式为:原命题:若p则q用心爱心专心1逆命题:若q则p否命题:若┐p则┐q逆否命题:若┐q则┐p2.四种命题的关系:互逆否命题若p则q互否逆否互否逆否说明:1
原命题和逆否命题、逆命题和否命题是等价命题2
互为逆否命题的两个命题等价,为命题真假判定提供一个策略
由等价关系知四个命题中真命