问题3. 下列语句中, 哪些是特称命题? 如果是, 能判断它们的真假吗? (1) 到圆心的距离小于半径的点在圆的内部; (2) 有些平行四边形是菱形; (3) 已知直线 l 与平面 a 相交于点 P, 过点 P 在 a 内至少有一条直线垂直于 l; (4) 有一个质数不是奇数. (1) 是命题, 但不是特称命题. (2) 是特称命题, 是真命题. (3) 是特称命题, 是真命题. (4) 是特称命题, 是真命题.
∀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). ” 是真命题.
练习: (补充)
1. 构造一个全称命题, 使 |x|>0 是假命题. 2. 判断下列全称命题的真假: (1) ∀xR, |sinx|<1; (2) ∀mR, 直线 mx+y-30 经过定点 P(0, 3).
1. 构造一个全称命题, 使 |x|>0 是假命题. 解: 当 x0 时, |x|>0 不成立. 只要限制范围内有 x0 的即可. 如: ∀xR, |x|>0. ∀x≥0, |x|>0. ∀x≤0, |x|>0.
1.4.1 全称量词
问题 1. 语句 “2x-1>0” 是命题吗? 如果是, 判 断它的真假, 如果不是, 你能加一个限制, 使它成为 命题吗? 你构造成的命题是真命题还是假命题? 短语 “所有的”, “任意一个” 在逻辑中通 常叫做全称量词, 用符号 “ ” 表示. 含有全称 量词的命题, 叫做全称命题. 要判定全称命题 “∀xM, p(x)” 的真假, 需 要判定对 M 中的所有 x, p(x) 是否成立. 若对 M 中 的所有 x, p(x) 都成立, 命题为真; 只要有一个 x0, 使得 p(x0) 不成立, 则命题为假.