14全称量词与存在量词9820346532.pptVIP

　全称量词与存在量词 1.4.1 全　称　量　词　 含有全称量词的命题，叫做全称命题。 是整数 是整数 解：（1）假命题； （2）真命题； （3）假命题。 例1 判断下列全称命题的真假： （1）所有的素数都是奇数； （2） （3）对每一个无理数x，x2也是无理数。 ——需要对集合M中每个元素x，证明p(x)成立 ——只需在集合M中找到一个元素x0， 使得p(x0)不成立即可 （举反例） 1.4.2 存 在 量 词 含有存在量词的命题，叫做特称命题。 解：（1）假命题； （2）假命题； （3）真命题。 例2 判断下列特称命题的真假： （1）有一个实数x0，使x02+2x0+3=0； （2）存在两个相交平面垂直于同一条直线； （3）有些整数只有两个正因数。 ——需要证明集合M中，使p(x)成立的元素x不存在。 ——只需在集合M中找到一个元素x0， 使得p(x0) 成立即可 （举例证明） 练习 （2）存在这样的实数它的平方等于它本身。 （3）任一个实数乘以-1都等于它的相反数； （4）存在实数x，x3＞x2； 同一全称命题、特称命题，由于自然语言的不同，可能有不同的表述方法： 命题 全称命题 特称命题 ①所有的x∈M，p(x)成立 ②对一切x∈M，p(x)成立③对每一个x∈M，p(x)成 立 ④任选一个x∈M，p(x)成 立 ⑤凡x∈M，都有p(x)成立 ①存在x0∈M，使p(x)成立②至少有一个x0∈M，使 p(x)成立 ③对有些x0∈M，使p(x)成 立 ④对某个x0∈M，使p(x)成 立 ⑤有一个x0∈M，使p(x)成 立 表述方法 1.4.3 含有一个量词的命题的否定 含有一个量词的全称命题的否定,有下面的结论 从形式看，全称命题的否定是特称命题。 否定: 1)所有实数的绝对值都不是正数; 2)每一个平行四边形都不是菱形; 3) 含有一个量词的特称命题的否定,有下面的结论 从形式看,特称命题的否定都变成了 全称命题. 写 称 题 练习: P28 作业: P29