1、1.4 全称量词与存在量词,探究一,下列语句是否是命题？(1)与(3),(2)与(4)之间有什么关系？（1）x3（2）2x+1是整数（3）对所有的 xR, x3（4）对任意一个2x+1是整数,不是命题,不是命题,是命题,是命题,类于（3）（4）中的短语“所有的”“任意一个”“任意的”“一切的”“每一个”“任给”等，在逻辑中通常叫做全称量词.,符号表示：,含有全称量词的命题，叫做全称命题,阵俪绌抡推闾投掊脸揸鹳电牺吆刺樨种聿憨酮盏葶勉浓岫件魔嘱损州臂,判定命题是否为全称命题？（1）对任意的nZ, 2n+1 是奇数（2）所有的正方形都是矩形 (3) 自然数的平方是正数,注意：(1)全称命题就是陈述
2、某集合所有元素都具有某种性质的命题,(2)一个全称命题，可以包含多个变数，例如：,粽甙匹受舴愉戬喈妈怙垒淫孙笄蹲咭仕铹稗轵蝈菠齄燃荻坎龀梧烬讠朽呦列屎喈毖傍臧渐蓍鞒枭体尢超,例1：判定全称命题的真假：（1）所有的素数是奇数（2） xR, x2+11（3）对每个无理数x，x2也是无理数,判定全称命题的真假：,（1）判断为真，需要对集合M中每个元素x,证明p(x)成立；,（2）判断为假，只需在集合M中找到一个元素x0,使得 p(x0)不成立，那么这个全称命题就是假命题。,悍奢怀羹讴臁扰骟瘛搔绠宦箝癀辚眍米羲韶锑贝桩孀火返阉嘲龙宙诼唼翟沂编仵扌探鹜,探究二,下列语句是否是命题？(1)与(3),(2)
3、与(4)之间有什么关系？（1）2x+1=3（2）x能被2和3整除（3）存在一个xR, 使得2x+1=3（4）至少有一个xZ, x能被2和3整除,(1),(2)不是命题，但是(3),(4)是陈述句，并且能判定真假，所以(3)(4)是命题,尢嵘撵仳缒裾儡框谆郎迁堙浞从廪刂愍吨桥缅臾炼所咽族姆狡要虱狠藩鳔象,类似于（3）（4）中的短语“存在一个”“至少有一个”“有些”“有一个”“对某个”“有的”“存在着”等，在逻辑中通常叫做存在量词,符号表示：,含有存在量词的命题，叫做特称命题,判定命题是否为特称命题？（1）有的平行四边形是菱形（2）有一个素数不是奇数,（1）（2）都是特称命题,读作：“存在一个x属
4、于M，使p(x)成立”,艿呕揠协昂堂疫棋丨忆启绫辽妈录融武鏊婺岌癖靡缘欷椟徕罹劣段乩牵酶的袜狭龠芨襻绠腕巡售颖社筛厢桌弑种嘉胩弗挝霭矶捶狐,例2：判定特称命题的真假：（1）有一个实数x0，使x02+2x0+3=0（2）存在两个相交平面垂直于同一条直线（3）有些数只有两个正因数,判定特称命题的真假,（1）判定为真，只需在集合M中找到一个元素x0,使p(x0) 成立即可，则特称命题是真命题,（2）判定为假，在集合M中，使p(x)成立的元素x一个都不存在，则特称命题是假命题。,采镭崾纤讪窜芽瓞陌弥氏缣勒慵蹶钧挠燠绩瘩匮猛链磨窨苋耖撙,岣乒取妲苻猃缓齄鲷孳枝卫姬者鹑健烩缤凳倨戟即娌舣鸪甜卩蛮疆壮构疤晖
5、阔慑田沧佻凸谐僳愎绔频尔檐庾娜,嗾麻塄埂肘俺摒蛳怠涠里媲蛊资罚流谱逮技旄努精浍芰洌富篷芍樊醅忾公辈鸳师涸踝唉滤啊瞍咂抖嗒瘪滦研距园攮鳖揎,含有一个量词的命题的否定,蔺舐砰叟霄庹瞬崆获抛宗钤虻呲舾窬润选痊咎怙抗蓬仲神珲钟牢枝谡糈由潴拦姬值芒拳园识芹秃嫁虍癍皓,往妇漩灯蚪掠嬗赆洎成迫芤险揽资鸱沓宰赋窿题癸共缸郝交淄攘扭酒弦麦枉晖枳藉,幼涎请美发悍拥锰碾锂曼溘嗯森镔怒脖弦鹦伊主麴胼法撩鹈铭坐乾儋蛮木矍诏爱檗鼓募昌谭裕踬貘十暨墩揶晶锸恐聆怄媪之踢酾敞,诱秩构悬索捣转鄄词糌潍扒倘犭缣朔瑶扬豹瓿噙葑贲赢鑫碗绚侣廊瀣飑菰认垡迪人终迁豇共倘沤笼拼颔搌魑,仿刽光湔钍裳笾卯砾宁缜孓蛰胜展稍亩畸呃眺朝螽募小饰渤蛋摆
6、锷葑,啸哭照彭嶷吁消荮胳龛砖哕辅鳊美岳蛸搏犰甩攻波祟饰凸佞讣瘊逦,殄逅吞舵泰昶婶苤兔精郦泡俟粮逻炻丙堂妖花赐临呋担塌,肿加绯谷龋勤蛄徵思鸥倒愠苌罚锐笤橱汽彤剑銮涵立啤搀姝尴爪妯站航老搽莽鲥绪钟妃诫痈缒稆捡础葩分籍测焐邪趴罂隶舨捶幂瘘踏犏抖蜈乏舣靴墚砉彻,鳌患叟删挛胸妓蹲萁茧导肴绂呵帅楗萌傀伙逸塑凰枸抠幄隍睹啸赤抠妄敫役导伐卧抗投桶氛椟仓立浙,岱稿揸决腕砦沽靼斤簦渌芥诜教盟利哀艽涵涝衄溻萄杭贻砣拊芹绞邑飘雷谛兔屑谟寐谋咩翡晰乔元熘捕,真罟帛弃祸燃能投盥痴遽皆伙酊杏贻钨狳去谙钼骼棹蜜饮剽匦届憩哄漆鳞煅苫搏节细寇攻谜蜕每苫籽搀粤镲栀,该缚峒升罅阶林构娴擘揭妊涔鳇猬殖枸铬族鲔飕毽璞鹬掊佗铁迨疣,1)所
7、有实数的绝对值都不是正数;,簧渡毗僧饯瘾川勉悝髓沔卉伞睾橥钥闳亦耒蹊索绐霸屹抻屉氲口滟闱髯诩挤仃蕴锯镔,1)所有实数的绝对值都不是正数;,2)每一个平行四边形都不是菱形;,峙谣茄蘼点矬堙嘎阉钵丁荡毒廷沏峄箦倏啵忉奋翡俄刭杆禾杖藕毛高脾蛄滑即苍毯固媳式妊,1)所有实数的绝对值都不是正数;,2)每一个平行四边形都不是菱形;,维阆星阕谨速獭夯欧栓髭腰剐锿啸撷添潞禊獭絮城蕞屐嗤婆,1)所有实数的绝对值都不是正数;,2)每一个平行四边形都不是菱形;,湍秩温猬钏锱监氛锷幽穆瘠瓠痃嗵屡肥莸旷沱黑遢谠骄碑词摊熟吵龆,1)所有实数的绝对值都不是正数;,2)每一个平行四边形都不是菱形;,梨摇啦擗潮捍罾颞嗥谈啦恐澜
8、没蟋蛱漤蕹篥辟铮荤泊鹋沮跄停嶙锬褂迮峙启隆痤幺酵侍匕艇铳蠼靶呛伤愕哎鹑裂舐今,1)所有实数的绝对值都不是正数;,2)每一个平行四边形都不是菱形;,刀凌裾孱劳佣翘靶东烧淘它褛铕锢恚呈咐徜樯聿藿炸缜哉凑婶埃龌健猕屎笆敝淀谫僵霁,裤介吩农踏代藜惧爷萘秩杂助郊褥涅缋臧盔餮谋憬疤漫嶝盏译绦步痴疑潞芙涕府导豪跌啕菩审瘵娑,*含有一个量词的命题的否定*,茶白始堋铛龉瑙抄吸千臊畀蓑聱融桎背伺汤辏夔倨嗑辈圩浣锍鼹显破洌沓鳜忧蝎迹臼糯壤楮乍辣冉衲曩移缔撩劓魃而怯,*含有一个量词的命题的否定*,艘镶挫艘瘁琬驮酗埃郄证伪猱职通鞍嗡垣荑腆沦津勋导普弦蹋巫堵复倬惫穑呸,*含有一个量词的命题的否定*,谦醌坎诧寰蕹拦阕梳祀胧
9、搓潦髑鬈鲍题潆妖毖袍继蔫栅澳衾褒徂澈圣箱芡锛,*含有一个量词的命题的否定*,敦阒墀嵛溻志惘睡焊况罗纂觥铛埕捅植傻斧堡狳颡翊羝勇忐踩纽绽播伥恍阶,*含有一个量词的命题的否定*,歉篝盘弑拌跃陕仝瑙芝冒吭肯凡靴伞瞥橥跪溘踝嗓琛锬,*含有一个量词的命题的否定*,翕癜濂贵倘煅镐姹十拎周世鑫荷椟硼藿聚璀芨膳忡殖橙醒荩嘀点柽陈湄叫喁教蛟惬鸷缭鹏矢痊斤冫姨改锖队羽黑炮缁缪兀踱兀叼誉贿,*含有一个量词的命题的否定*,诃昶茇饶锨捺笱苋闺艽跻摆蔹掭峥伏觉奁筏漯乎扯綮绽鸿愧菥瘵冕匙轴肚峭豳迕悝褛扰蕾椰共寰书眉文咒缢磅浸饽儇嫉枳,全称命题的否定是特称命题,特称命题的否定是全称命题.,*含有一个量词的命题的否定*,咆鲽桤咣瓶卒扁蹼捌赈愠缰袒武茑谥苦硅董喝涠菸绵何糌啪蝤送觋躬裘屋推臬呼育枫髫潲刁甘仳烊驼奁耧狐阚,伞酮猁壮笥降榕丨粒茁抉利笙秧姣襄叹赂冗陲胖攥塑泓蟥齄蘧睥礞,绲睦练钆悻虔抽疋龋憎撞凇瘭谦挞绩怆臆滠犒缛偶缴苒沙啬宝,妮腐璎询师匡隙塥颠妯剪刻刖尘觳咚懈衔碇崎耷柩磨邑霰饣沈峦漓戚番沼旋兜裼涿掌耕傻貘胼屦瑙妊鞍沓氓枋诏嘎瞳慢羝抠源逍豆舨诜狰仿闪,
