常用逻辑用语知识点总结材料及同步练习

《常用逻辑用语知识点总结材料及同步练习》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、实用文档选修2-1第一章常用逻辑用语1.1命题及其关系1.定义：一般地，我们用语言、符号或式子表达的，可以判断真假的陈述句，叫做命题；其中判断为正确的命题，为真命题；判断为不正确的命题，为假命题。2.辨析：能够分辨哪一个是命题及其真假。①判断一个语句是否是命题，关键在于能否判断其真假。语句可分为疑问句、祈使句、感叹句与陈述句。一般的，只有陈述句能分辨真假，其他类型的句子无所谓真假，我们把每个能分辨真假的陈述句作为一个命题。②对于一个句子，有时我们可能无法判断其真假，但对这个句子却是有真假的，如：“太阳系外存在外星人”，对于这个句子所描述的情形，目前确定

2、其真假，但从事物的本质而言，句子本身是可以判断其真假的。这类语句也称为命题。语句是不是命题，关键在于能不能判断其真假，也就是判断其是否成立。③不判断真假的语句，就不能叫命题。“X<2”。3.原命题与逆命题即在两个命题中，如果第一个命题的条件（或题设）是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫做互逆命题；如果把其中一个命题叫做原命题，那么另一个叫做原命题的逆命题.4.否命题与逆否命题即在两个命题中，一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，这样的两个命题就叫做互否命题，若把其中一个命题叫做原命题，则另一

3、个就叫做原命题的否命题.5.原命题与逆否命题即在两个命题中，一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定，这样的两个命题就叫做互为逆否命题，若把其中一个命题叫做原命题，则另一个就叫做原命题的否命题.文案大全实用文档6.四种命题的形式一般到，我们用p和q分别表示原命题的条件和结论，用┐p和┐q分别表示p和q的否定，于是四种命题的形式就是：原命题：若p则q；逆命题：若q则p；否命题：若┐p则┐q；逆否命题：若┐q则┐p.7.四种命题的相互关系一般的，四种命题的真假性，有且仅有以下四种情况：（四种命题的真假性之间的关系）原命题逆命题否命题逆否

4、命题真真真真真假假真假真真假假假假假两个命题互为逆否命题，它们有相同的真假性；两个命题为互逆或互否命题，它们的真假性没有关系.8.反证法欲证“若p则q”为真命题，从否定其结论即“非q”出发，经过正确的逻辑推理导出矛盾，从而“非q”为假，即原命题为真，这样的证明方法称为反证法其反证法的步骤：(1)假设命题的结论不成立，即假设结论的反面成立；(2)从这个假设出发，通过推理论证，得出矛盾；(3)由矛盾判定假设不正确，从而肯定命题的结论正确文案大全实用文档1.2充分条件与必要条件1.充分条件的定义如果p成立时，q必然成立，即pÞq，我们就说，p是q成立的充分条

5、件．（即为使q成立，只需条件p就够了）2.必要条件的定义如果B成立时，A必然成立，即qÞp，我们就说，q是p成立的必要条件．（即为使q成立，就必须条件p成立）3.(1)若pÞq，且qÞp，则称p是q的充分必要条件，简称充要条件。Pq说明：①充要条件是互为的；②“p是q的充要条件”也说成“p与q等价”、③p当且仅当q”等.pÞq，且qÞp，则p是q的充要条件；pÞq，但qÞp，则p是q的充分而不必要条件；qÞp，但pÞq，则p是q的必要而不充分条件；pÞq，且qÞp，则p是q的既不充分也不必要条件.1.3简单的逻辑联结词1.“或”与日常生活中的用语“或”

6、的意义不同，在日常生活用语中的“或”带有不可兼有的意思，而逻辑用语中的“或”可以同时兼有。对于逻辑用语“或”的理解我们可以借助于集合中的并集的概念：在或中的“或”是指“”与“”中至少有一个成立，可以是“且”，也可以是“且”，也可以是“且”，逻辑用语中的“或”与并集中的“或”的含义是一样的；2.对“且”的理解，可以联想到集合中的交集的概念：在且的“且”是指“”、“”都要满足的意思，即既要属于集合A，又要属于集合B；3.对“非”的理解，可以联想到集合中的补集的概念：“非”有否定的意思，一个命题文案大全实用文档经过使用逻辑联结词“非”构成一个复合命题“非”，

7、当为真时，非为假，当为假时，非为真。若将命题对应集合，则命题非就对应着集合在全集U中的补集；对于非的理解，还可以从字意上来理解，“非”本身就具有否定的意思，如“0.5是非整数”是对命题“0.5是整数”进行否定而得出的新命题。一般地，写一个命题的否定，往往需要对正面叙述的词语进行否定。4.构造复合命题的方式：简单命题+逻辑连结词（或、且、非）+简单命题。5.复合命题的真假判断：pq非pp或qp且q真真假真真真假假真假假真真真假假假真假假注意：“命题的否定”与“否命题”是两个不同的概念：前者只否定结论，后者结论与条件共同否定。1.4全称量词与存在量词1.全

8、称量词、全称命题定义：短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“”表示。（