第讲4逻辑联结词与四种命题逻辑联结词与四种命题第一章集合与简易逻辑考点搜索●与命题有关的几个概念●四种命题及其之间的关系●反证法的步骤及应用●利用简易逻辑知识解决数学综合题高高考猜想逻辑部分的内容是新教材新增内容,基本的逻辑知识是人们认识和研究问题不可缺少的工具,因此这是高考命题的热点,常以选择题的形式出现
高考中主要考查命题与命题间的逻辑关系以及判断是非的能力和推理能力,尤其要重视“等价转化”思想和“反证法”的应用
•一、逻辑联结词与命题•1
逻辑联结词为(1)、(2)、(3)
复合命题的定义是•(4)
•二、命题真值表•1
非p型:若p真,则非p为(5);若p假,则非p为(6)
或且非有逻辑联结词的命题叫做复合命题假真•2
p且q型:若p、q真,则p且q为(7);若p、q一真一假,则p且q为(8);若p、q假,则p且q为(9)
p或q型:若p、q真,则p或q为(10);若p、q一真一假,则p或q为(11);若p、q假,则p或q为(12)
真假假真真假•三、四种命题及其相互关系•1
四种命题:原命题为“若p则q”,则它的逆命题为(13);它的否命为(14);它的逆否命题为(15)
相关系:原命题与它的(16)等价;逆命题与它的(17)等价
若q则p若非p则非q若非q则非p逆否命题否命题•四、几个重要结论•“至少有一个”的否定形式为(18);“至多有一个”的否定形式为(19);“都是”的否定形式为(20);“某个”的否定形式为(21);“所有的”否定形式为(22);“任意两个”的否定形式为(23);“任意”的否定形式为(24);一个也没有至少有两个不都是任意一个某些某个某两个•“至多有n个”的否定形式为(25);•“p且q”的否定形式为(26);•“p或q”的否定形式为(27);•“对所有的x成立”的否定形式为(28);•“对任何的x不成立”的否定形式为(