全称量词与存在量词 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
知识点详情 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
全称量词与存在量词知识点包括简单的逻辑联结词、全称量词与全称量词命题、存在量词与存在量词命题、含有量词命题的否定、全称量词命题与存在量词命题真假的判断、无量词命题的否定等部分,有关全称量词与存在量词的详情如下: 简单的逻辑联结词(1)命题中的且、或、非叫做逻辑联结词. (2)命题p∧q,p∨q,┐p的真假判断
全称量词与全称量词命题(1)短语“所有的”“任意一个”在逻辑中通常叫做全称量词(universal quantifier),并用符合“∀”表示.含有全称量词的命题,叫做全称量词命题(universal proposition). 常见的全称量词还有“一切”“每一个”“任给”等. (2)通常,将含有变量x 的语句用p(x),q(x),r(x),…表示,变量x的取值范围用M表示.那么,全称量词命题“对M中任意一个x,p(x)成立”可用符号简记为∀x∈M,p(x). 存在量词与存在量词命题(1)短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词(existential quantifier),并用符号“∃”表示.含有存在量词的命题,叫做存在量词命题(existential proposition). 常见的存在量词还有“有些”“有一个”“对某些”“有的”等. (2)存在量词命题“存在M中的元素x,p(x)成立”可用符号简记为∃x∈M,p(x). 含有量词命题的否定(1)否命题 一般地,对一个命题进行否定,就可以得到一个新的命题,这一新命题称为原命题的否定.通常用符号“┐p(x)”表示“p(x)不成立”. (2)对于含有一个量词的全称量词命题的否定,有下面的结论:全称量词命题:∀x∈M,p(x).它的否定:∃x∈M,┐p(x).也就是说,全称量词命题的否定是存在量词命题. (3)对含有一个量词的存在量词命题的否定,有下面的结论:存在量词命题:∃x∈M,p(x),它的否定:∀x∈M,┐p(x).也就是说,存在量词命题的否定是全称量词命题. 全称量词命题与存在量词命题真假的判断1.全称量词命题真假的判断 对于全称量词命题“∀x∈M,p(x)”: (1)要证明它是真命题,需对集合M中每一个元素x,证明p(x)成立; (2)要判断它是假命题,只要在集合M中找到一个元素x0,使p(x0)不成立即可.(通常举反例) 2.存在量词命题真假的判断 对于存在量词命题“∃x0∈M,p(x0)”: (1)要证明它是真命题,只需在集合M中找到一个元素x0,使p(x0)成立即可.(通常举正例) (2)要判断它是假命题,需对集合M中每一个元素x,证明p(x)不成立. 无量词命题的否定1.量词的理解 通常量词被分为两类:一类是全称量词,另一类是存在量词.全称量词,如“所有”“任何”“一切”等,其表达的逻辑为:“对宇宙间的所有事物X来说,X都是F”.例句:“所有的鱼都会游泳”;存在量词,如“有”“有的”“有些”等,其表达的逻辑为:“宇宙间至少有一个事物X,X是F”.例句:“有的工程师是工人出身”. 2.全称量词命题与存在量词命题 判断一个命题为全称量词命题还是存在量词命题,关键是看命题中是否有全称量词和存在量词. 这里需要注意的是:有些全称命题在文字叙述上可能会省略了全称量词,例如:(1)“末位是0的整数,可以被5整除”;(2)“线段的垂直平分线上的点到这条线段两个端点的距离相等”;(3)“负数的平方是正数”;(4)“梯形的对角线相等”都是全称命题,因此在判断是否为全称命题时要注意,这也是为后面学习全称命题的否定打好基础. 应当指出,同一个全称命题、特称命题,由于自然语言的不同,可能有不同的表述方法.现列表总结于下,在实际应用中可以灵活地选择:
关键量词的否定
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
典型例题 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
【第1题】
下列语句中是全称量词的命题有________,是存在量词命题的有________. (1)2x+1是整数; (2)对任意一个x∈Z,2x+1是整数; (3)至少有一个x∈Z,使2x+1为整数; (4)x∈R,|x|+1≥1. 【第2题】
判断下列全称量词命题的真假: (1)每个四边形的内角和都是360°; (2)任何实数都有算术平方根; (3)∀x∈{y|y是无理数},x3是无理数. 【第3题】
判断下列存在量词命题的真假: (1)存在一个四边形,它的两条对角线互相垂直; (2)至少有一个整数n,使得n2+n为奇数; (3)∃x∈{y|y是无理数},x2是无理数. 【第4题】
写出下列命题的否定: (1)∀n∈Z,n∈Q; (2)任意奇数的平方还是奇数; (3)每个平行四边形都是中心对称图形. 【第5题】
判断下列语句是全称量词命题,还是存在量词命题: (1)凸多边形的外角和等于360°; (2)有的平行四边形是菱形; (3)有一个数是素数也是合数; (4)菱形的对角线互相垂直. 【第6题】
判断下列命题是全称量词命题还是存在量词命题: (1)负数没有倒数; (2)至少有一个整数,它既能被2整除;又能被5整除; (3)∀x∈{x|x是无理数},x2是无理数; (4)x>7. 【第7题】
判断下列命题的真假 (1)梯形的对角线相等; (2)有些菱形是正方形; (3)至少有一个整数n,n2+1是4的倍数. 【第8题】
下列命题中是假命题的个数为________. (1)每一个末位是0的整数都是5的倍数; (2)线段垂直平分线上的点到这条线段两个端点的距离相等; (3)有些实数是无限不循环小数; (4)存在一个三角形不是等腰三角形; 【第9题】
写出下列命题的否定,并判断真假: (1)p:∃x>1,使x2-2x-3=0; (2)p:有些素数是奇数; (3)∀a,b∈R,方程ax=b都有唯一解; (4)可以被5整除的整数,末位是0. 【第10题】
(1)已知对任意的x∈{x|1≤x≤3},都有m≥x,求实数m的取值范围; (2)已知存在实数x∈{x|1≤x≤3},使m≥x,求实数m的取值范围 【第11题】
写出下列命题的否定. (1)若x2>4,则x>2. (2)若m≥0,则x2+x-m=0有实数根. (3)可以被5整除的整数,末位是0. (4)被8整除的数能被4整除. (5)若一个四边形是正方形,则它的四条边相等 【第12题】
判断下列结论正误(在括号内打“√”或“×”) (1)命题“5>6或5>2”是假命题.( ) (2)命题┐(p∧q)是假命题,则命题p,q中至少有一个是真命题.( ) (3)“长方形的对角线相等”是特称命题.( ) (4)∃x0∈M,p(x0)与∀x∈M,┐p(x)的真假性相反.( ) 【第13题】
)已知p:2是偶数,q:2是质数,则命题┐p,┐q,p∨q,p∧q中真命题的个数为( ) A.1 B.2 C.3 D.4 【第14题】
已知命题p:∃x0∈R,x0+4x0+6<0,则┐p为( ) A.∀x∈R,x2+4x+6≥0 B.∃x∈R,x2+4x+6>0 C.∀x∈R,x2+4x+6>0 D.∃x∈R,x2+4x+6≥0 【第15题】
已知命题p:f(x)=x3-ax的图象关于原点对称;命题q:g(x)=xcos x的图象关于y轴对称.则下列命题为真命题的是( ) A.┐p B.q C.p∧q D.p∧(┐q) 【第16题】
若“∀x∈ x,m≤tan x+2”为真命题,则实数m的最大值为________. 【第17题】
设a,b,c是非零向量.已知命题p: 若a·b=0,b·c=0,则a·c=0;命题q:若a∥b,b∥c,则a∥c.则下列命题中真命题是( ) A.p∨q B.p∧q C.(┐p)∧(┐q) D.p∧(┐q) 【第18题】
已知命题p:若a>|b|,则a2>b2;命题q:m,n是直线,α为平面,若m∥α,n⊂α,则m∥n.下列命题为真命题的是( ) A.p∧q B.p∧(┐q) C.(┐p)∧q D.(┐p)∧(┐q) 【第19题】
若命题“p∨q”与命题“┐p”都是真命题,则( ) A.命题p与命题q都是真命题 B.命题p与命题q都是假命题 C.命题p是真命题,命题q是假命题 D.命题p是假命题,命题q是真命题 【第20题】
命题p:若向量a·b<0,则a与b的夹角为钝角;命题q:若cos α·cos β=1,则sin(α+β)=0.下列命题为真命题的是( ) A.p B.┐q C.p∧q D.p∨q |