命题与简易逻辑9页.doc

简易逻辑知识梳理命题与逻辑连接词；1用语言、符号或式子表达的，可以判断真假、的陈述句称为命题 其中判断为真的语句称为真命题，判断为假的语句称为假命题2逻辑联结词“或”“且”“非”与集合中的并集、交集、补集有着密切的关系，解题时注意类比；3不含逻辑联结词的命题称为_；有时一个命题的叙述方式比较的简略，此时应先分清条件和结论，该写成“若，则”的形式；4含有逻辑联结词的命题称为_，复合命题有三种形式_, , 符号表示_, _, _通常复合命题的否定“或”的否定为“且”、 “且”的否定为“或”、 “全为”的否定是“不全为”、 “都是”的否定为“不都是”等等5三种复合命题的真值表：（1）“p且q”： 一假即假（2）“p或q”： 一真即真（3）“非p”： 真假相反 6短语“_对所有的”、“对任意一个” 逻辑中称为全称量词，并用符号“_” 表示。 7短语“存在一个”、“