(1)对所有的实数x,都有x20 ;(2)存在实数x,满足x20 ;(3)至少有一个实数x,使得x220成立;(4)存在有理数x,使得x220成立;(5)对于任何自然数n ,有一个自然数s 使得 s = n n ;问题引入:下列命题中含有哪些量词? 下列语句是命题吗?(1) 与(3) ,(2) 与(4) 之间有什么关系?(1)x3 ;(2)2x+1 是整数;(3) 对所有的x R ,x3 ;(4) 对任意一个x Z ,2x+1 是整数。语句(1)(2)不能判断真假,不是命题;语句(3)(4)可以判断真假,是命题。全称量词、全称命题定义:短语“所有的”“任意一个”在逻辑中通常叫做全称量词,并用符号“ ” 表示。含有全称量词的命题,叫做全称命题。常见的全称量词还有“一切” “ 每一个” “任给” “ 所有的”等 。 一.全称量词:全称命题举例:命题符号记法:命题:对任意的n Z ,2n+1 是奇数; 所有的正方形都是矩形。 通常,将含有变量x 的语句用p(x), q(x), r(x), 表示,变量x的取值范围用M 表示,那么,全称命题“对M 中任意一个x ,有p(x) 成立 ” 可用符号简