常用逻辑用语(命题及其关系).doc

1 常用逻辑用语(命题及其关系) 知识点一、命题定义: 一般地,我们用语言、符号或式子表达的,可以判断真假的陈述句,叫做命题;其中判断为正确的命题,为真命题;判断为不正确的命题,为假命题。辨析:能够分辨哪一个是命题及其真假①判断一个语句是否是命题,关键在于能否判断其真假。语句可分为疑问句、祈使句、感叹句与陈述句。一般的,只有陈述句能分辨真假,其他类型的句子无所谓真假,我们把每个能分辨真假的陈述句作为一个命题。②对于一个句子, 有时我们可能无法判断其真假, 但对这个句子却是有真假的,如:“太阳系外存在外星人”, 对于这个句子所描述的情形,目前确定其真假,但从事物的本质而言,句子本身是可以判断其真假的。这类语句也称为命题。语句是不是命题,关键在于能不能判断其真假,也就是判断其是否成立。③不判断真假的语句,就不能叫命题。“ X<2 ”。知识点二、四种命题 1. 原命题与逆命题即在两个命题中, 如果第一个命题的条件( 或题设) 是第二个命题的结论, 且第一个命题的结论是第二个命题的条件,那么这两个命题叫做互逆命题;如果把其中一个命题叫做原命题,那么另一个叫做原命题的逆命题. 例如,如果原命题是: ⑴同位角相等,两直线平行; 它的逆命题就是: ⑵两直线平行,同位角相等. 2. 否命题与逆否命题即在两个命题中,一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定,这样的两个命题就叫做互否命题,若把其中一个命题叫做原命题,则另一个就叫做原命题的否命题. 例如, ⑶同位角不相等,两直线不平行; ⑷两直线不平行,同位角不相等. 3. 原命题与逆否命题即在两个命题中,一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定,这样的两个命题就叫做互为逆否命题,若把其中一个命题叫做原命题,则另一个就叫做原命题的否命题. 4. 四种命题的形式一般到, 我们用 p和q 分别表示原命题的条件和结论,用┐p和┐q 分别表示 p和q 的否定, 于是四种命题的形式就是: 原命题:若 p则q; 逆命题:若 q则p; 否命题:若┐p则┐q; 逆否命题:若┐q则┐ 【例 1 】判断下列命题的真假。原命题: 若两个三角形全等,则这两个三角形的三边对应相等。逆命题: 若两个三角形的三边对应相等,则这两个三角形全等。否命题: 若两个三角形不全等,则这两个三角形不是三边对应相等逆否命题: 若两个三角形不是三边对应相等,则这两个三角形不全等。【例 2 】写出给出命题的逆命题,否命题,逆否命题。并判断其真假。原命题:如果一个四边形是正方形,那么它的四条边相等。逆命题: 否命题: 逆否命题: 知识点三、四种命题的相互关系一般的,四种命题的真假性,有且仅有以下四种情况: (四种命题的真假性之间的关系) 原命题逆命题否命题逆否命题真真真真真假假真假真真假假假假假两个命题互为逆否命题,它们有相同的真假性; 两个命题为互逆或互否命题,它们的真假性没有关系. 知识点四、反证法欲证“若p则q”为真命题,从否定其结论即“非q”出发,经过正确的逻辑推理导出矛盾,从而“非q”为假,即原命题为真,这样的证明方法称为反证法其反证法的步骤: (1) 假设命题的结论不成立,即假设结论的反面成立; (2) 从这个假设出发,通过推理论证,得出矛盾; (3) 由矛盾判定假设不正确,从而肯定命题的结论正确【例 3 】证