全称量词与存在量词 短语 所有的 任意一个 在逻辑中通常叫做全称量词 用符号 表示 含有全称量词的命题 叫做全称命题 是整数 是整数 短语 存在一个 至少一个 在逻辑中通常叫做存在量词 用符号 表示 含有存在量词的命题 叫做特称命题 含有一个量词的全称命题的否定 有下面的结论 全称命题 它的否定 从形式看 全称命题的否定是特称命题 否定 1 所有实数的绝对值都不是正数 2 每一个平行四边形都不是菱形 3 含有一个量词的特称命题的否定 有下面的结论 特称命题 它的否定 从形式看 特称命题的否定都变成了全称命题 写 称 题 练习 P28作业 P29