逻辑连接词教案.ppt

一、若p则q否命题：命题的否定：命题的否定与原命题的真假性相反命题的否定与原命题的真假性相反例例1.写出下列命题的否定写出下列命题的否定（1）平行四边形的对角线相等平行四边形的对角线不相等（2）若x、y互为相反数，则xy0若x、y互为相反数，则xy0（3）平行于同一条直线的两条直线平行平行于同一条直线的两条直线不平行简单命题简单命题：不含有逻辑联结词的命题复合命题复合命题：简单命题与逻辑联结词所构成的命题简单逻辑词简单逻辑词：“或”、“且”、“非”二、逻辑联结词二、逻辑联结词1、“或或”并集并集（1）形式：）形式：（2）真假性：）真假性：有真即真，都假才假有真即真，都假才假2、“且且”交集交集（1）形式：）形式：（2）真假性：）真假性：有假即假，都真才真有假即假，都真才真3、“非非”补集补集（1）形式：）形式：（2）真假性：）真假性：真假相反真假相反“非非”对常见的几个正面词语的否定对常见的几个正面词语的否定是是不不是是=任意任意某个某个至少有至少有一个一个没有没有至多有至多有n个个至少有至少有n+1个个都是都是不都是不都是若3x-9=0,则x=3若3x-9=0,则x3任意一个素数是奇数某个素数不是奇数至少有一个自然数是2的倍数没有一个自然数是2的倍数三角形至多有一个内角是钝角三角形至少有两个内角是钝角三角函数都是周期函数三角函数不都是周期函数6是12或24的约数6既不是12的约数也不是24的约数正方形的对角线相等且平分正方形的对角线不相等或不平分三、量词三、量词1、全称量词、全称量词 如“所有”,“任何”，“一切”，“任意一个”，“全部”，“任给”等在逻辑中通常叫做全称量词。2、存在量词、存在量词 如“至少有”，“某一个”，“有些”，“有的”在逻辑中通常叫做存在量词。3、全称命题：、全称命题：含有全称量词的命题叫做全称命题。形式：形式：4、特称命题：、特称命题：含有存在量词的命题叫做特称命题。形式：形式：命题的否定：命题的否定：命题的否定：命题的否定：练习：判断下列命题是全称命题还是特称命题，并练习：判断下列命题是全称命题还是特称命题，并写出它的否定。写出它的否定。（1）有些质数是奇数.所有质数都不是奇数.特称命题（2）任意的二次函数的图像都开口向上.存在二次函数的图像不是开口向上.（3）存在实数x,2x+1=0全称命题特称命题任意实数x,2x+10