湖南省洞口县第一中学2012届高三寒假数学辅导：第4讲 简易逻辑复习及单元检测题.docVIP

第四讲 简易逻辑 湖南省洞口县第一中学 肖丹枫 【基本概念】 命题：可以判断真假的语句叫做命题； 开语句：无法确定真假的语句叫做开语句； 逻辑联结词：“或、且、非”等叫做逻辑联结词； 全称量词与全称命题：“对所有的”、“对一切”等短语在逻辑中通常叫做全称量词，含有全称量词的命题叫做全称命题； 存在量词与特称命题：“存在一个”、“至少有一个”、“有的”等短语在逻辑中通常叫做存在量词，含有存在量词的命题叫做特称命题； 简单命题：不含逻辑联结词的命题叫做简单命题； 复合命题：由简单命题与逻辑连接词构成的命题叫做复合命题. 【考点回顾】 考点1 简易逻辑之命题的否定 “非命题是对原命题结论的否定一个命题经过使用逻辑联结词非，就构成一个复合命题非（记作”）称为命题的否定非叫做命题的非命题，也叫做命题P的否定.非形式的复合命题的真值与原命题P的真值为一真一假，一假一真，构成一对矛盾命题但非P绝不是是与不是的简单演译.《简易逻辑》一节中涉及到命题的否定无外乎下面几种类型：单称命题的否定即简单命题的否定存在性命题的否定全称性命题的否定复合命题“且”、“或”、“若则”的否定.是”，它的否定是“不是”或“并非是”；其中是一个特定对象. 例 写出下列命题的否定. (1) 是有理数；(2) 菱形的对角线互相垂直；(3) 3的平方数是正数； 解：(1) 的否定：不是有理数；(2) 的否定：菱形的对角线不互相垂直； (3) 的否定：3的平方数不是正数. 2. 含量词命题的否定 全称命题：有成立；其否定为成立命题：使成立其否定为有不成立.具体操作就是命题全称性的量词改成存在性的量词，存在性的量词改成全称性的量词，并把量词作用范围进行否定.即须遵循下面法则：否定全称得存在，否定存在得全称，否定肯定得否定，否定否定得肯定例 写出下列命题的否定所有自然数的平方是正数　　 任何实数都是方程的根对任意实数，存在实数，使有些质数是奇数.解的否定：自然数的平方不是正数的否定存在实数不是的根 (3)的否定：存在实数,对所有实数，有的否定：所有的质数都不是奇数. 　　解题中会遇到省略了所有任何任意等量词的简化形式，如若，则.在求解中极易误当为简单命题处理；这种情形下时应先将命题写成完整形式，再依据法则来写出其否定形式例 写出下列命题的否定. 若 则若则有实数根可以被整除的整数，末位是0被8整除的数能被4整除 (5) 若一个四边形是正方形，则它的四条边相等. 解的否定：存在实数，虽然满足但或者说：存在小于或等于2的数，满足.（完整表达对任意的实数x, 若则）的否定存在一个，使无实数根.（原表达：对任意实数若则有实数根.）的否定：存在一个可以被5整除的整数，其末位不是. (4)的否定：存在一个数能被8整除，但不能被4整除(原表达所有能被8整数都能被4整除) 的否定：存在一个四边形，虽然它是正方形，但四条边中至少有两条不相等.（原表达个四边形，若它是正方形，则它的四条边中任何两条都相等.）?由此看来，要准确表达含量词命题的否定，就要求我们掌握好一些词语的否定如下表： 是 都是 大于 小于 且 词语否定 不是 不都是 小于等于 大于等于 或 词语 必有一个 所有x成立 所有x不成立 至多有一个 至少有n个 词语否定 一个也没有 存在一个x不成立 存在一个x成立 至少有两个 至多有n-1个 3. 复合命题“且”，“或”形式的否定 给定命题、，用联结词“且”来构成的复合命题“且”叫做命题、的合取命题（也叫联言命题）记作用联结词或来构成的复合命题或 叫做命题的析取命题（也叫选言命题）记作.复合命题的真值表：(1”表示真，0”表示假) () () () 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 1 从表可知：)与 的真值相同；)与 的真值相同，故它们分别是等价命题，因而我们认为的否定为非或非；的否定为“非P且非q”.用符号语言表示()=； ()=. 从而知命题的否定既否定命题又联结词且；（原命题属于型）； (2)的否定：不是奇函数或不是偶函数； （原命题属于）； (3)的否定：5不是10的约数或5不是15的约数； (4)的否定：且；(5) 的否定：“不都是0”或“或” 4. 复合命题“若则”形式的否定 “若则”（记作）型命题的否定实质上较复杂，但在中学数学里所研究的命题都是具有实质性蕴涵关系的命题，是具有真假性的命题，不能区分真假性的命题不作研究. 当语句和能判断其真假时就为命题，那么“若则”就是逻辑中的蕴涵关系，其否定形式不妨用真值表来解决(用1”表示真，0”表示假) () 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0