《高二数学选修全量称词与存在量词》由会员分享，可在线阅读，更多相关《高二数学选修全量称词与存在量词（39页珍藏版）》请在金锄头文库上搜索。
1、第一章 常用逻辑用语人 教 A 版 数 学14 全称量词与存在量词 Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学Evaluation only
2、.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学1知识与技能理解全称量词、存在量词，能够用符号表示全称命题、特称命题，并会判断其真假2过程与方法明确判断全称命题、特称命题真假的
3、判断方法Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学Evaluation only.Evaluation only. Created with
4、 Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学本节重点：理解全称量词和存在量词的意义，能正确地对含有一个量词的命题进行否定本节难点：全称命题和特称命题的真假的判定，以及写出含有一个量词的命题的否定1必须明确存在量词和全称量词的含义及表
5、示符号2明确全称命题与特称命题的含义符号xM，p(x)通俗说就是对集合M中所有元素x，都有p(x)成立，符号xM，q(x)通俗说存在集合M中的元素x，使q(x)成立Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Asp
6、ose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学3要判定一个全称命题是真命题必须对限定集合M中的每个元素x验证p(x)成立；但要判定全称命题是假命题只要从M中找一个xx0，使p(x)不成立即可，通常称特例反驳4要判定一个特称命题是真命题，只要在限定集合M中，至少能找到一个xx0使p(x)成立即可；否则，这一特称命题是假命题Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .N
7、ET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-201
8、1 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学1要判定全称命题是真命题，需对集合M中每个元素x，证明p(x)成立；如果在集合M中找到一个元素x0，使得p(x0)不成立，那么这个全称命题就是假命题2要判定一个特称命题是真命题，只要在限定集合M中，至少能找到一个xx0，使p(x0)成立即可，否则，这一特称命题就是假命题Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.
9、0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学3命题的否定形式有：4全称命题的否定是特称命题，特称命题的否定是全称命题，因此，我们可以通过“举反例”来否定一个全称命题原语句是都是至少有 一个至多有 一个对任意 xA 使p(x)真 否定 形式不 是不都 是一个也 没有至少有 两个存在xA 使p(x)假Evaluation onl
10、y.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学Evaluation only.Evaluation only. Created with Aspose.Slides for
11、 .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学1短语“ ”“ ”在逻辑中通常叫做全称量词，并用符号“ ”表示，含有全称量词的命题，叫做 2短语“ ”“ ”在逻辑中通常叫做存在量词，并用符号“ ”表示，含有存在量词的命题，叫做3全称命题p：xM，p(x)，它的否定p：4特
12、称命题p：xM，p(x)，它的否定p：对所有的对任意一个全称命题存在一个至少有一个特称命题xM，綈p(x)xM，綈p(x)Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用
13、语人 教 A 版 数 学Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学例1 判断命题的真假(1)每个函数都有反函数(2)存在一个数xZ，使2x4
14、6.解析 (1)yx2是函数，但它是偶函数，所以它没有反函数，所以“每个函数都有反函数”是假命题(2)由于存在x1，使2x46成立，所以“存在xZ使2x46”是真命题Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011 As
15、pose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学点评 要判断一个全称命题为假命题，只要举出一个反例即可，要判断一个特称命题为真命题，只要举出一个例子即可Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.Copyright 2004-2011
16、 Aspose Pty Ltd.第一章 常用逻辑用语人 教 A 版 数 学设语句q(x)：|x1|1x.(1)写出q(1)，q(2)，并判断它是不是真命题(2)写出“aR，q(a)”，并判断它是不是真命题(3)写出“aR，q(a)”，并判断它是不是真命题分析 语句q(x)不是命题，给x赋值1,2，则成为命题q(1)，q(2)，判断其真假，即看x1,2时，等式|x1|1x是否成立即可Evaluation only.Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Created with Aspose.Slides for .NET 3.5 Client Pr
