- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2. 如何判断全称命题的真假?
问题 1. 语句 “2x-1>0” 是命题吗? 如果是, 判 断它的真假, 如果不是, 你能加一个限制, 使它成为 命题吗? 你构造成的命题是真命题还是假命题? 2x-1>0 不能判断真假, 不是命题. (1) 对所有的 x>0, 2x-1>0. 是命题. (2) 对任意的 x>1, 2x-1>0. 是命题. (3) 任给 x(0, 1), 2x-1>0. 是命题.
练习: (课本23页) a>1 0<a<1 y 1. 判断下列全称命题的真假: (1) 每个指数函数都是单调函数; 1 x O (2) 任何实数都有算术平方根; (3) ∀x{x|x是无理数}, x2是无理数. 解: (1) 任取 x1<x2, 当 0<a<1 时, a x1 a x2 , yax 是减函数, 当 a>1 时, a x1 a x2 , yax 是增函数, ∴ 题设所设全称命题是真命题. (2) 负数就没有算术平方根, ∴题设所给全称命题是假命题. (3) ( 2 )2 2 就不是无理数, ∴此题设中的全称命题是假命题.
问题 1. 语句 “2x-1>0” 是命题吗? 如果是, 判 断它的真假, 如果不是, 你能加一个限制, 使它成为 命题吗? 你构造成的命题是真命题还是假命题?
短语 “对所有的”, “对任意一个” 等在逻 辑中通常叫做全称量词, 用符号 “ ” 表示. 含 有全称量词的要判定对 M 中的所有 x, p(x) 是否成立. 若对 M 中 的所有 x, p(x) 都成立, 命题为真; 只要有一个 x0, 使得 p(x0) 不成立, 则命题为假.
练习: (补充) 1. 构造一个全称命题, 使 |x|>0 是假命题. 2. 判断下列全称命题的真假: (1) ∀xR, |sinx|<1; (2) ∀mR, 直线 mx+y-30 经过定点 P(0, 3).
练习: (补充) 1. 构造一个全称命题, 使 |x|>0 是假命题.
解: 当 x0 时, |x|>0 不成立. 只要限制范围内有 x0 的即可.
短语 “对所有的”, “对任意一个” 等在逻 辑中通常叫做全称量词, 用符号 “ ” 表示. 含 有全称量词的命题, 叫做全称命题. 通常, 将含有变量 x 的语句用 p(x), q(x), r(x), … 表示, 变量 x 的取值范围用 M 表示, 那么, 全称命题 “对 M 中任意一个 x, 有 p(x) 成立” 可用符号简记 为 ∀xM, p(x), 读作 “对任意 x 属于 M, 有 p(x) 成立”.
(1) 中 x>0 是指大于 0 的所有数. (2) 中 x>1 是指大于 1 的所有数. (3) 中 x(0, 1) 是指大于 0 且小于 1 的所有数. (1) 是假命题. (2) 是真命题. (3) 是假命题.
问题 1. 语句 “2x-1>0” 是命题吗? 如果是, 判 断它的真假, 如果不是, 你能加一个限制, 使它成为 命题吗? 你构造成的命题是真命题还是假命题?
习题 1.4 A组 1. 判断下列全称命题的真假: (1) 末位是 0 的整数, 可以被 5 整除; (2) 线段的垂直平分线上的点到这条线段两端点 的距离相等; (3) 负数的平方是正数; (4) 梯形的对角线相等. 解: (1) 真命题.
【课时小结】
2. 全称命题的真假判定
要判定全称命题 “∀xM, p(x)” 的真假, 需要判定对 M 中的所有 x, p(x) 是否成立. 若对 M 中的所有 x, p(x) 都成立, 命题为真; 只要有 一个 x0, 使得 p(x0) 不成立, 则命题为假.
练习: (课本23页) 第 1 题. 习题 1.4 A组 第 1 题.
2. 判断下列全称命题的真假: (1) ∀xR, |sinx|<1; (2) ∀mR, 直线 mx+y-30 经过定点 P(0, 3).
【课时小结】
1. 全称量词与全称命题 在命题中含 “全部” 意思的量词称为全称量词. 如: “所有的”, “全部”, “一切”, “任给”, “任意一个” 等. 全称量词用符号 “ ” 表示. 含有全称量词的命题叫做全称命题. 全称命题: “对 M 中任意一个 x, 有 p(x) 成立.” 用符号简记为 ∀xM, p(x), 读作 “对任意 x 属于 M, 有 p(x) 成立”.
例1. 判断下列全称命题的真假: (1) 所有的素数都是奇数; (2) ∀xR, x2+1≥1; (3) 对每一个无理数 x, x2 也是无理数. 解: (1) 在所有素数中, 2 不是奇数. ∴ 全称命题 “所有的素数都是奇数” 是假命题. (2) ∀xR, 总有 x2≥0, 于是得 x2+1≥1. ∴ 全称命题 “∀xR, x2+1≥1” 是真命题. (3) 在无理数中, 如 2 是无理数, 而 ( 2 )2 2 不是无理数. ∴ 全称命题 “对每一个无理数 x, x2 也是无理数” 是假命题.
本章内容
1.1 命题及其关系 1.2 充分条件与必要条件
1.3 简单的逻辑联结词
1.4 全称量词与存在量词 第一章 小结
1.4 全称量词与存在量词
1.4.1 全称量词
1.4.2 存在量词 1.4.3 含一个量词的命题的否定
1.4.1 全称量词
返回目录
1. 什么是全称量词? 它在命题中的含义 是什么? 用什么符号表示?
如: ∀xR, |x|>0. ∀x≥0, |x|>0. ∀x≤0, |x|>0. ∀x(-1, 1), |x|>0. ……
解: (1) 当 x k + , k Z 时, |sinx|1, 2 ∴ 全称命题 “∀xR, |sinx|<1” 是假命题. (2) 将点 P(0, 3) 代入直线的方程 mx+y-30 得 0+3-30, ∴ m 为任意实数时, x0, y3 都是方程的解, 即直线经过点 P(0, 3). ∴ 全称命题 “∀mR, 直线 mx+y-30 经过定点 P(0, 3). ” 是真命题.