逻辑联结词与量词
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(一)本单元知识结构:
(二)概念与规律总结
(1)命题的结构
命题的定义:可以判断真假的语句叫做命题.
“或”、“且”、“非”这些词叫做逻辑联结词;不含有逻辑联结词的命题是简单命题;由简单命题和逻辑联结词“或”、“且”、“非”构成的命题是复合命题.构成复合命题的形式:p或q(记作p∨q);p且q(记作p∧q);非p(记作┑q).(2)命题的四种形式与相互关系
原命题:若p则q;逆命题:若q则p;否命题:若┑p则┑q;逆否命题:若┑q则┑p.原命题与逆否命题互为逆否,同真假;逆命题与否命题互为逆否,同真假.
(3)命题的条件与结论间的属性
“p q”的含义有三条:p推出q;p是q 的充分条件;q是p的必要条件.
(4)“或”、“且”、“非”的真值判断
“非p”形式复合命题的真假与p的真假相反;
“p且q”形式复合命题当p与q同为真时为真,其他情况时为假;
“p或q”形式复合命题当p与q同为假时为假,其他情况时为真.
(5)全称量词与存在量词
全称量词:所有的,一切,全部,都,任意一个,每一个等;
存在量词:存在一个,至少有一个,有个,某个,有的,有些等;
全称命题p:∀x∈M,p(x)否定为⌝ p:∃x∈M,⌝p(x)
存在性命题p:∃x∈ M,p(x)否定为⌝ p:∀x∈M,⌝ p(x)
(6)反证法是间接证法的一种
假设为真,即不成立,并根据有关公理、定理、公式进行逻辑推理,得出矛盾.
因为公理、定理、公式正确,推理过程也正确,产生矛盾的原因只能是“假设为真”,由此假设不成立,即“为真”.
【典型例题】
例1. 概念辨析
(1)分别写出由下列各种命题构成的“p或q”“p且q”“非p”形式的复合命题,并判断它们的真假:
p:四边都相等的四边形是正方形,q:四个角都相等的四边形是正方形
解:“p或q”:四边都相等的四边形是正方形或四个角都相等的四边形是正方形
“p且q”:四边都相等的且四个角都相等的四边形是正方形
“非p”:四边不都相等的四边形不是正方形.
方法:分清命题的条件与结论,然后重新组合.
(2)下列命题是全称命题的是,是存在性命题的是.
①线段的垂直平分线上的点到这条线段两个端点的距离相等
②负数的平方是正数
③有些三角形不是等腰三角形
④有些菱形是正方形
解:是全称命题的是①②,是存在性命题的是③④.
判断方法就是判断它们有无全称量词与存在量词.
(3)写出下列命题的否定
①已知集合A⊆B,如果对于任意的元素x∈A,那么x∈B;
②已知集合A⊆B,存在至少一个元素x∈B,使得x∈A;
解:①否定为:∃x∈A,x B
②否定为:∀x∈B,x A
(4)若A是B的充分不必要条件,则A是B的…………………()
A. 充分不必要条件
B. 必要不充分条件
C. 充要条件
D. 既不充分也不必要条件
解:∵“A B”“B A”∴选B.
方法总结:遇到有否定词的问题可以转化为它的等价命题,去掉否定词.
例2. 若下列方程:x+4ax-4a+3=0,x+(a-1)x+a=0,x+2ax-2a=0至少有一个方程有实根.试求实数a的取值范围.
分析:三个方程至少有一个方程有实根的反面情况仅有一种:三个方程均没有实根.先求出反面情况时a的范围,则所得范围的补集就是正面情况的答案.
解:设三个方程均无实根,则有: