常用逻辑用语知识点总结及同步练习.docx

Last updated on the afternoon of January 3, 2021 Last updated on the afternoon of January 3, 2021 常用逻辑用语知识点总结及同步练习 选修2-1第一章常用逻辑用语 命题及其关系 1.定义：一般地，我们用语言、符号或式子表达的，可以判断真假的陈述句，叫做命题；其中判断为正确的命题，为真命题；判断为不正确的命题，为假命题。 2.辨析：能够分辨哪一个是命题及其真假。 ①判断一个语句是否是命题，关键在于能否判断其真假。语句可分为疑问句、祈使句、感叹句与陈述句。一般的，只有陈述句能分辨真假，其他类型的句子无所谓真假，我们把每个能分辨真假的陈述句作为一个命题。 ②对于一个句子，有时我们可能无法判断其真假，但对这个句子却是有真假的，如：“太阳系外存在外星人”，对于这个句子所描述的情形，目前确定其真假，但从事物的本质而言，句子本身是可以判断其真假的。这类语句也称为命题。语句是不是命题，关键在于能不能判断其真假，也就是判断其是否成立。 ③不判断真假的语句，就不能叫命题。“X2”。 3.原命题与逆命题 即在两个命题中，如果第一个命题的条件（或题设）是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫做互逆命题；如果把其中一个命题叫做原命题，那么另一个叫做原命题的逆命题. 4.否命题与逆否命题 即在两个命题中，一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，这样的两个命题就叫做互否命题，若把其中一个命题叫做原命题，则另一个就叫做原命题的否命题. 5.原命题与逆否命题 即在两个命题中，一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定，这样的两个命题就叫做互为逆否命题，若把其中一个命题叫做原命题，则另一个就叫做原命题的否命题. 6.四种命题的形式 一般到，我们用p和q分别表示原命题的条件和结论，用┐p和┐q分别表示p和q的否定，于是四种命题的形式就是： 原命题：若p则q； 逆命题：若q则p； 否命题：若┐p则┐q； 逆否命题：若┐q则┐p. 7.四种命题的相互关系 一般的，四种命题的真假性，有且仅有以下四种情况：（四种命题的真假性之间的关系） 原命题 逆命题 否命题 逆否命题 真 真 真 真 真 假 假 真 假 真 真 假 假 假 假 假 两个命题互为逆否命题，它们有相同的真假性； 两个命题为互逆或互否命题，它们的真假性没有关系. 8.反证法 欲证“若p则q”为真命题，从否定其结论即“非q”出发，经过正确的逻辑推理导出矛盾，从而“非q”为假，即原命题为真，这样的证明方法称为反证法 其反证法的步骤： (1)假设命题的结论不成立，即假设结论的反面成立； (2)从这个假设出发，通过推理论证，得出矛盾； (3)由矛盾判定假设不正确，从而肯定命题的结论正确 充分条件与必要条件 1.充分条件的定义 如果p成立时，q必然成立，即pq，我们就说，p是q成立的充分条件．（即为使q成立，只需条件p就够了） 2.必要条件的定义 如果B成立时，A必然成立，即qp，我们就说，q是p成立的必要条件．（即为使q成立，就必须条件p成立） 3.(1)若pq，且qp，则称p是q的充分必要条件，简称充要条件。Pq 说明：①充要条件是互为的； ②“p是q的充要条件”也说成“p与q等价”、 ③p当且仅当q”等. pq，且qp，则p是q的充要条件； pq，但qp，则p是q的充分而不必要条件； qp，但pq，则p是q的必要而不充分条件； pq，且qp，则p是q的既不充分也不必要条件. 简单的逻辑联结词 1.“或”与日常生活中的用语“或”的意义不同，在日常生活用语中的“或”带有不可兼有的意思，而逻辑用语中的“或”可以同时兼有。对于逻辑用语“或”的理解我们可以借助于集合中的并集的概念：在或中的“或”是指“”与“”中至少有一个成立，可以是“且”，也可以是“且”，也可以是“且”，逻辑用语中的“或”与并集中的“或”的含义是一样的； 2.对“且”的理解，可以联想到集合中的交集的概念：在且的“且”是指“”、“”都要满足的意思，即既要属于集合A，又要属于集合B； 3.对“非”的理解，可以联想到集合中的补集的概念：“非”有否定的意思，一个命题经过使用逻辑联结词“非”构成一个复合命题“非”，当为真时，非为假，当为假时，非为真。若将命题对应集合，则命题非就对应着集合在全集U中的补集；对于非的理解，还可以从字意上来理解，“非”本身就具有否定的意思，如“是非整数”是对命题“是整数”进行否定而得出的新命题。一般地，写一个命题的否定，往往需