高二数学常用逻用辑语复习.pptVIP

常用逻辑用语复习 知识网络 充要条件 1.4 全称量词与 存在量词 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 短语”对所有的””对任意一个”在逻辑中通常叫做全称量词,并用符号 “ ”表示.含有全称量词的命题,叫做全称命题, 常见的全称量词还有: “对所有的”,”对任意一个”,”对一切”,”对每一个”,”任给”,”所有的”等. 短语”对所有的””对任意一个”在逻辑中通常叫做全称量词,并用符号 “ ”表示.含有全称量词的命题,叫做全称命题. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 符号 全称命题”对M中任意一个x有p(x)成立”可用符号简记为 读作”对任意x属于M,有p(x)成立”. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 1.4.2 存在量词 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 更多资源 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 常用逻辑用语 命题及其关系 简单的逻辑联结词 全称量词与存在量词 四种命题 充分条件与必要条件 量词 全称量词 存在量词 含有一个量词的否定 或 且 非或 并集 交集 补集 运算 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 命题的形式：“若P, 则q” 也可写成 “如果P,那么q” 的形式 也可写成 “只要P,就有q” 的形式 通常,我们把这种形式的命题中的P叫做命题的条件,q叫做结论. 记做: 用语言、符号或式子表达的，可以判断真假的陈述句称为命题． 其中判断为真的语句称为真命题，判断为假的语句称为假命题． Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 一个符号 条件Ｐ的否定，记作“?Ｐ”。读作“非Ｐ”。 若p 则q 逆否命题： 原命题： 逆命题： 否命题： 若q 则p 若? p 则? q 若? q 则? p 二、 四 种 命 题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 结论1：要写出一个命题的另外三个命题关键是分清命题的题设和结论（即把原命题写成“若P则Q”的形式） 注意：三种命题中最难写 的是否命题。 结论2：（1）“或”的否定为“且”， （2）“且”的否定为“或”， （3）“都”的否定为“不都”。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 三、四种命题之间的 关系 原命题 若p则q 逆命题 若q则p 否命题 若﹁p则﹁q 逆否命题 若﹁q则﹁p 互逆 互否 互否 互逆 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. （2） 若其逆命题为真，则其否命题一定为真。但其原命题、逆否命