了解命题及其逆命题、否命题与逆否命题;明白四种命题之间的关系;会利用两个命题互为逆否命题的关系判别命题的真假.①了解命题及其逆命题、否命题与逆否命题.②理解必要条件、充分条件与充要条件的意义,会分析四种命题的互相关系.1
四种命题之间的关系2
充分条件与必要条件(1)如果pq,那么称p是q的,q是p的;(2)如果pq,且qp,那么称p是q的,记作pq
(3)如果,那么称p是q的充分不必要条件
(4)如果,那么称p是q的必要不充分条件
(5)如果p/q,且q/p,那么称p是q的
充分条件必要条件充要条件pqqp且¿既不充分也不必要条件【例1】写出下列命题的逆命题、否命题、逆否命题并判断其真假(Ⅰ)全等三角形一定相似;(Ⅱ)末位数字是零的自然数能被5整除.(Ⅰ)逆命题:两个三角形相似,则它们全等(假),否命题:两个三角形不全等,则它们不相似(假),逆否命题:两个三角形不相似,则它们不全等(真)
(Ⅱ)逆命题:能被整除的自然数末位数字是零(假),否命题:末位数字不是零的自然数不能被整除(假),逆否命题:不能被整除的自然数末位数字不是零(真)
解析:通过实例,了解逻辑联结词“或”、“且”、“非”的含义;能准确区分命题的否定与否命题
通过生活和数学中丰富实例,理解全称量词与存在量词的意义;能准确利用全称量词与存在量词.①了解逻辑联结词“或”、“且”、“非”的含义.②理解全称量词与存在量词的意义.②能正确地对含有一个量词的命题进行否定.1
逻辑联结词、、称为逻辑联结词
由逻辑联结词构成的命题形式为:、、
全称量词与全称命题(1)“”、“”、“”等表示的量词在逻辑中称为全称量词,通常用符号“”表示“对任意x”
(2)含有的命题称为全称命题
(3)全称命题的一般形式可表示为
或且非p且qp或q非p任意所有每一个全体x全称量词,()xMpx3
存在量词与存在性命题(1)