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

《简单逻辑用语》知识点总结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的充要条件（充分必要条件）．另：利用集合间的包含关系：例如：若BA，则A是B的充分条件或B是A的必要条件；若A=B，则A是B的充要条件；6、逻辑联结词：(1)且(and)：命题形式pq；(2)或(or)：命题形式pq；(3)非(not)：命题形式p.pqpqpqp真真真真假真假假真假假真假真真假假假假真7、(1)全称量词——“所有的”、“任意一个”等，用“”表示；全称命题p：)(,xpMx；全称命题p的否定p：)(,xpMx。(2)存在量词——“存在一个”、“至少有一个”等，用“”表示；特称命题p：)(,xpMx；特称命题p的否定p：)(,xpMx；