简易逻辑〖知识梳理 〗命题与逻辑连接词;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.全称命题形式:,( )xMp x ;特称命题形式:,( )xMp x
其中 M为给定的集合,特别提醒:全称命题 p:,( )xMp x 的否定p:,( )xMp x;全称命题的否定为特称命题特称命题 p:,( )xMp x 的否定p:,( )xMp x ;特称命题的否定为全称命题其中 p(x) 是一个关于x 的命题
10、四种命题及关系;(1)如果第一个命题的条件和结论分别是另一个命题的结论_ 和条件 _,那么这两个命题叫互逆命题
(2)如果第一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定,那么这两个