第一章常用逻辑用语复习课课件.ppt
第一章 常用逻辑用语(复习课),9/24/2022,1,第一章 常用逻辑用语9/24/20221,9/24/2022,2,9/24/20222,命题及其关系,全称量词存在量词,充分条件必要条件充要条件,简单的逻辑联结词:且、或、非,9/24/2022,3,常用逻辑用语命题及其关系全称量词存在量词充分条件必要条件充要,注:(1)“互为”的;(2)原命题与其逆否命题同真同假.(3)逆命题与否命题同真同假.,原命题若p,则q,逆否命题若 q,则 p,否命题若 p,则 q,逆命题若q,则p,互逆,互 否,互 否,互逆,互为逆否,同真同假,9/24/2022,4,注:(1)“互为”的;原命题逆否命题否命题逆命题互逆互 否,“或”“且”“非”,9/24/2022,5,“或”9/24/20225,特别注意对一些词语的否定,9/24/2022,6,特别注意对一些词语的否定词语否定词语否定等于不等于任意的某个,命题的否定与否命题是两个完全不同的概念,1任何命题均有否定,无论是真命题还是假命题;而否命题仅针对命题“若P则q”提出来的。2命题的否定(非)是原命题的矛盾命题,两者的真假性必然是一真一假,一假一真;而否命题与原命题可能是同真同假,也可能是一真一假。3 原命题“若P则q”的形式,它的非命题“若p,则q”;而它的否命题为“若p,则q”,既否定条件又否定结论。,9/24/2022,7,命题的否定与否命题是两个完全不同的概念 1任何命题均有否,9/24/2022,8,9/24/20228,9/24/2022,9,9/24/20229,9/24/2022,10,9/24/202210,9/24/2022,11,9/24/202211,9/24/2022,12,9/24/202212,9/24/2022,13,9/24/202213,若x2=1,则x不一定等于1,9/24/2022,14,若x2=1,则x不一定等于19/24/202214,9/24/2022,15,9/24/202215,