短语“存在一个”“至少一个” 短语“存在一个”“至少一个” 在逻辑中通常叫做 ”“至少一个 存在量词.用符号“ 表示。 存在量词.用符号“ ”表示。 ∃ 含有存在量词的命题,叫做特称命题 特称命题。 含有存在量词的命题,叫做特称命题。 常见的存在量 例 : 如 词还有“有些” 词还有“有些” 1 有 个 数 是 数 ) 一 素 不 奇 。 有一个” “有一个” 对某个” 2 有 平 四 形 菱 。 “对某个” ) 的 行 边 是 形 有的” “有的”等.
1.4.3 含有一个量词的命题 的否定
想一想? 想一想?
出 列 题 否 写 下 命 的 定
x 1)所 的 形 是 行 边 ; ∀ ∈M,p(x) 有 矩 都 平 四 形
2)每 个 数 是 数 每 一 素 都 奇 ; 2 3)∀x∈R, x − 2x +1≥ 0 否 : 定
2)存 一 素 不 奇 ; 存 在 个 数 是 数
是整数 3)对所有的x∈R, x > 3 4)对任意一个x∈Z,2x +1 短语“所有的”“任意一个” 在逻辑中通常叫做全 短语“所有的”“任意一个” ”“任意一个 称量词.用符号“ 表示。 称量词.用符号“ ”表示。 ∀ 含有全称量词的命题,叫做全称命题。 含有全称量词的命题,叫做全称命题。 全称命题 常见的全称量词 还有“一切” 还有“一切” 1 对 意 ∈ n +1 奇 。 ) 任 n ,2 是 数 每一个” “每一个” “任 2 所 的 方 都 矩 。 ”“所有的” ) 有 正 形 是 形 给”“所有的 所有的” 等.
想一想? 想一想?
出 列 题 否 写 下 命 的 定 1有 实 的 对 是 数 ) 些 数 绝 值 正 ;
∃x∈M,p(x) ∃x∈M,p(x)