1.4.3含有一个量词的命题的否定重点.pptVIP

* * * X 逻辑是研究思维形式和规律的科学，“数学是思维的科学”。逻辑与数学有着天然的联系。 写出下列命题的否定： 尝试对上述命题进行否定，你发现有什么规律？ 全称命题否定后，全称量词变为存在量词，“肯定”变为“否定”。 含有一个量词的全称命题的否定,有下面的结论 全称命题 它的否定 从形式看，全称命题的否定是特称命题。 写出下列命题的否定： 尝试对上述命题进行否定，你发现有什么规律？ 特称命题否定后，存在量词变为全称量词，“肯定”变为“否定”。 从形式看,特称命题的否定都变成了全称命题. 含有一个量词的特称命题的否定,有下面的结论 特称命题 它的否定 写 称 题 学 以 致 用 课 堂 小 结 含有一个量词的命题的否定 结论：全称命题的否定是特称命题； 特称命题的否定是全称命题. 作业： P93习题第1、2题 *