含有一个量词的命题的否定

- 成才之路 · 数学 - 路漫漫其修远兮 吾将上下而求索 - 人教A版 · 选修2-1 - 常用逻辑用语