常用逻辑用语知识点.doc
《常用逻辑用语知识点.doc》由会员分享,可在线阅读,更多相关《常用逻辑用语知识点.doc(5页珍藏版)》请在三一文库上搜索。
1、 常用逻辑用语 知识点一:命题1. 定义: 一般地,我们把用语言、符号或式子表达的,可以判断真假的语句叫做命题.(1)命题由题设和结论两部分构成.(2)命题有真假之分,正确的命题叫做真命题,错误的命题叫做假命题. 2. 逻辑联结词: “或”、“且”、“非”这些词叫做逻辑联结词.(1)不含逻辑联结词的命题叫简单命题,由简单命题与逻辑联结词构成的命题叫复合命题.(2)复合命题的构成形式:p或q;p且q;非p(即命题p的否定).(3)复合命题的真假判断 “p或q”为有真为真,无真即假 “p且q”为同真为真,有假即假“非p”与p的真假相反.注意:(1)逻辑连结词“或”的理解是难点,“或”有三层含义,以
2、“p或q”为例:一是p成立且q不成立,二是p不成立但q成立,三是p成立且q也成立。可以类比于集合中“或”.(2)“或”“且”命题的否定形式:“p或q”的否定是“p且q”; “p且q” 的否定是“p或q”.知识点二:四种命题1. 四种命题形式: 原命题:若p则q; 逆命题:若q则p否命题:若p则q; 逆否命题:若q则p.2. 四种命题的关系原命题逆否命题.逆命题否命题,它们之间互为逆否关系,具有相同的真假性,是命题转化的另一依据和途径.除、之外,四种命题中其它两个命题的真伪无必然联系.命题与集合之间可以建立对应关系,命题的“且”、“或”、“非”恰好分别对应集合的“交”、“并”、“补”。 知识点三
3、:充分条件与必要条件1. 定义: 若,则是的充分条件,是必要条件;2. 理解认知:(1)在判断条件时,首先要分清哪是条件,哪是结论;然后用条件推结论,再用结论 推条件,最后进行判断.(2)建立与、相应的集合,即成立,成立若,则是的充分条件, 若,则是成立的充分不必要条件;若,则是的必要条件, 若,则是成立的必要不充分条件;若,则是成立的充要条件;若AB且BA,则是成立的既不充分也不必要条件知识点四:全称量词与存在量词1. 全称量词与存在量词:全称量词及表示:表示全体的量词称为全称量词。表示形式为“所有”、“任意”、“每一个”等,通常用符号“”表示,读作“对任意”。含有全称量词的命题,叫做全称命
4、题。全称命题“对M中任意一个x,有p(x)成立”可表示为“”,其中M为给定的集合,p(x)是关于x的命题.(II)存在量词及表示:表示部分的量称为存在量词。表示形式为“有一个”,“存在一个”,“至少有一个”,“有些”等,通常用符号“”表示,读作“存在”。含有存在量词的命题,叫做特称命题特称命题“存在M中的一个x,使p(x)成立”可表示为“”,其中M为给定的集合,p(x)是关于x的命题2. 对含有一个量词的命题进行否定(I)对含有一个量词的全称命题的否定:全称命题p:,他的否定:(II)对含有一个量词的特称命题的否定 :特称命题p:,他的否定:注意:(1)命题的否定与命题的否命题是不同的.命题的
5、否定只对命题的结论进行否定(否定一次),而命题的否命题则需要对命题的条件和结论同时进行否定(否定二次)。(2)一些常见的词的否定:正面词等于大于小于是都是一定是至少一个至多一个否定词不等于不大于不小于不是不都是一定不是一个也没有至少两个三、典型例题选讲例1 写出下列命题的逆命题、否命题、逆否命题,并判断它们的真假(1)已知,为实数,若,则有两个不相等的实数根;(2)两条平行线不相交; (3)若,则,全为零分析:写出一个命题的四种命题形式,关键是分清命题的条件与结论,把命题写成“如果那么”的形式,再根据四种命题的定义写出其他三种命题即可解:(1)原命题是真命题;逆命题:若有两个不相等的实数根,则
6、,(假);否命题:若,则没有两个不相等的实数根,(假);逆否命题:若没有两个不相等的实数根,则,(真)(2)原命题形式可写成:若两条直线平行,则它们不相交,(真);逆命题:若两条直线不相交,则它们平行,(假);否命题:若两条直线不平行,则它们相交,(假);逆否命题:若两条直线相交,则它们不平行,(真)(3)原命题是真命题;逆命题:若,全为零,则,(真);否命题:若,则,不全为零,(真)逆否命题:若,不全为零,则,(真)例2 说明下列命题形式,指出构成它们的简单命题:3 矩形的对角线垂直平分; 不等式的解集是或; 方程没有实数根分析:根据命题中出现的逻辑联结词或隐含的逻辑联结词,进行命题结构的判
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 常用 逻辑 用语 知识点
链接地址:https://www.31doc.com/p-10275778.html