命题与简易逻辑.pdfVIP

简 易 逻 辑 〖知识梳理〗 命题与逻辑连接词； 1．用语言、符号或式子表达的，可以判断真假、的陈述句称为命题． 其中判断为真的语句称为真命题，判断为假的语句称为假命题 2 ．逻辑联结词“或”“且”“非”与集合中的并集、交集、补集有着密切的关系，解题时注意类比； 3 ．不含逻辑联结词的命题称为 ______ ；有时一个命题的叙述方式比较的简略，此时应先分清条件和结论，该写成 “若 p ，则 q ”的形式； 4 ．含有逻辑联结词的命题称为 __________ ，复合命题有三种形式 ______, , 符号表示 _____, _______, _______ 通常复合命题的否定 “ p 或 q ”的否定为“ p 且 q ”、 “ p且 q ”的否定为“ p 或 q ”、 “全为”的否定是“不全为”、 “都是”的否定为“不都是”等等 5 ．三种复合命题的真值表： （1 ）“ p 且 q ”： 一假即假（ 2 ）“ p 或 q ”： 一真即真（ 3 ）“非 p”： 真假相反 6 ．短语“ _对所有的”、“对任意一个” 逻辑中称为全称量词，并用符号“ ___ __ ” 表示。 7 ．短语“存在一个”、“ _ 至少有一个” 逻辑中称为存在量词，并用符号“ ” 表示。 8 ．含有全称量词的命题称为全称命题 __ ；含有存在量词的命题称为 __特称命题 __. 9 ．全称命题形式： x M , p(x) ；特称命题形式： x M , p(x) 。 其中 M为给定的集合， 特别提醒： 全称命题 p： x M , p(x) 的否定 p： x M , p(x) ；全称命题的否定为特称命 题 特称命题 p： x M , p(x) 的否定 p： x M , p (x) ；特称命题的否定为全称命 题 其中 p(x) 是一个关于 x 的命题。 10、四种命题及关系； （1 ）如果第一个命题的条件和结论分别是另一个命题的结论 _ 和条件 _ ，那么这两个命题叫互逆命题 . （2 ）如果第一个命题的条件和结论恰好是另一个命题的条件的否定 和结论的否定，那么这两个命题叫互否命题 . （3 ）如果第一个命题的条件和结论恰好是另一个命题的结论的否定 _ 原命题 互逆 逆命题 若 p 则 q 互 互 若 q 则 p 互 为 为 互 否 逆 逆 否 和_ 条件的否定 否 否 _____ ，那么这两个 命题叫互否命题 . 互逆 特别提醒： 否命题 逆否命题 可以发现： 若非 p 则非 q 若非 q 则非 p （1 ） 原 命 题、逆命题、 否命题、逆否命题的关系如下图所示 ： （2 ）互为逆否命题的真假性是一致的 , 互逆命题或互否命题真假性没有关 系 . 一般地，把条件 p 的否定和结论 q 的否定，分别记为“┐ p ”和“┐ q ”，则命题的四种形式可写为： 原命题： “若 p 若 q ” 逆命题：