《简单逻辑用语》知识点总结.docx

《《简单逻辑用语》知识点总结.docx》由会员分享，可在线阅读，更多相关《《简单逻辑用语》知识点总结.docx（2页珍藏版）》请在三一办公上搜索。

简单逻辑用语知识点总结简单逻辑用语知识点总结 1、命题：用语言、符号或式子表达的，可以判断真假的陈述句. 真命题：判断为真的语句. 假命题：判断为假的语句. 2、“若p，则q”形式的命题中的p称为命题的条件，q称为命题的结论. 3、原命题：“若p，则q” 逆命题： “若q，则p” 否命题：“若p，则q” 逆否命题：“若q，则p” 4、四种命题的真假性之间的关系： (1)两个命题互为逆否命题，它们有相同的真假性； (2)两个命题为互逆命题或互否命题，它们的真假性没有关系 5、若pq，则p是q的充分条件，q是p的必要条件 若pq，则p是q的充要条件 另：利用集合间的包含关系： 例如：若AB，则A是B的充分条件或B是A的必要条件；若A=B，则A是B的充要条件； 6、逻辑联结词： (1)且(and) ：命题形式pq； (2)或(or)：命题形式pq； (3)非(not)：命题形式p. pqpqpqp真 真 真 真 假 真 假 假 真 假 真 假 真 假 真 假 真 假 假 假 7、(1)全称量词“所有的”、“任意一个”等，用“”表示； 全称命题p：xM,p(x)； 全称命题p的否定p：$xM,p(x)。 (2)存在量词“存在一个”、“至少有一个”等，用“$”表示； 特称命题p：$xM,p(x)； 特称命题p的否定p：xM,p(x)；