原创力文档- 1、本文档共12页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
选修1-1数学公式概念
常用逻辑用语
1.1命题及其关系
1.1.1命题
命题：一般地，在数学中我们把语言、符号或式子表达的，可以判断真假的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。
命题的构成：在数学中，命题通常写成“假设，那么”的形式。其中叫做命题的条件，叫做命题的结论。
1.1.2四种命题
互逆命题：一般地，对于两个命题，如果一个命题的条件和结论分别是另一个命题的结论和条件，那么我们这样的两个命题叫做互逆命题。其中一个命题叫做原命题，另一个叫做原命题的逆命题。如果原命题为“假设，那么”，那么它的逆命题为“假设，那么”.
互否命题：一般地，对于两个命题，其中一个命题的条件和结论恰好是另一个命题的条件的否认和结论的否认，我们把这样的两个命题叫做互否命题。如果把其中的一个命题叫做原命题，，那么另一个叫做原命题的否命题。如果原命题为“假设，那么”，那么它的否命题为“假设，那么”.
互逆否命题：一般地，对于两个命题，其中一个命题的条件和结论恰好是另一个命题的结论的否认和条件的否认，我们把这样的两个命题叫做互为逆否命题。如果把其中的一个命题叫做原命题，那么另一个叫做原命题的逆否命题。如果原命题为“假设，那么”，那么它的逆否命题为“假设，那么”.
互逆假设，那么
互逆
假设，那么
假设，那么
原命题
假设，那么
逆命题
假设，那么
否命题
互否假设，那么
互否
逆否命题
假设，那么
逆否互为否逆为互互否
逆
否
互
为
否
逆
为
互
互否
逆命题
原命题
逆否命题否命题1.1.3四种命题间的相互关系
逆否命题
否命题
假设，那么假设，那么
假设，那么
假设，那么
互逆
四种命题的真假性：一般地，四种命题的真假性之间的关系：
〔1〕两个命题和互否命题，它们有相同的真假性；
原命题
逆命题
否命题
逆否命题
真
真
真
真
真
假
假
真
假
真
真
假
假
假
假
假
〔2〕两个命题为互逆否命题或互否命题，它们的真假性没有关系。
1.2充要条件与必要条件
1.2.1充分条件与必要条件
充要条件与必要条件：一般地，“假设，那么”为真命题，是指由通过推理可以得出.这时，我们就说，由可推出，记作，并且说是的充分条件，是的必要条件。如果“假设，那么为假命题”，那么由推不出，此时我们就说不是的充分条件，不是的必要条件。
1.2.2充要条件
一般地，如果既有，又有，就记作.此时，我们说，是的充分必要条件，简称充要条件。
1.2内容总结
条件与结论的关系
结论
用集合表示p：A，q：B
是的充分条件
是的必要条件
且
是的充分不必要条件
且
是的必要不充分条件
是的充要条件
且
是的既不充分
也不必要条件
且
1.3简单的逻辑联结构
1.3.1且〔and〕
且定义：一般地，用关联词“且”把命题和命题连接起来，就得到一个新命题，记作，读作“且”.与集合且相关。
且的真假：当，都是真命题时，是真命题；当，两个命题中有一个命题是假命题时，是假命题。简记为：一假那么假，同真那么真。
1.3.2或〔or〕
或定义：一般地，用关联词“或”把命题和命题连接起来，就得到一个新命题，记作，读作“或”.与集合或相关。
或的真假：当，两个命题中有一个命题是真命题时，是真命题；当，两个命题都是假命题时，是假命题。简记为：一真那么真，同假那么假。
1.3.3非〔not〕
非定义：一般地，对一个命题全盘否认，就得到一个新命题，记作，读作
“非”或“的否认”.与集合且
非的真假：假设是真命题，必是假命题；假设是假命题，那么必是真命题。简记为：与真假性相反。
1.4全称量词与存在量词
1.4.1全称量词
定义：短语“对所有的”“对任意一个”在逻辑中通常叫做全称量词，并用符号“”表示。含有全程量词的命题，叫做全称命题。
表述形式：对中任意一个，有成立。符号简记为，.
1.4.2存在量词
3、定义：短语“存在一个”“至有少一个”在逻辑中通常叫做存在量词，并用符号“”表示。含有存在量词的命题，叫做特称命题。
4、表述形式：存在中的一个，是成立。符号简记为，.
1.4.3含有一个量词的命题的否认
全称命题的否认：一般地，对于含有一个量词的全程命题的否认，有下面的结论：
全称命题：，，它的否认：，.
全称命题的否认是特称命题。
特定命题的否认：一般地，对于含有一个量词的特称命题的否认，有下面的结论：
特称命题：，，它的否认：，.
特称命题的否认是全称命题。
圆锥曲线与方程
2.1椭圆
2.1.1椭圆及其标准方程
椭圆的定义：平面内与两个定点，的距离之和等于常数〔大于〕的点的轨迹叫做椭圆。这两个定点叫做椭圆的焦点，
文档评论（0）