约2610字。

　　简单逻辑用语复习学案
　　一、知识梳理
　　1、命题：                                    叫命题，如“3>5”是命题，“天气真好”不是命题。（1）命题的一般书写形式是                             .
　　（2）不含逻辑联结词“或”、“且”、“非”的命题叫做       命题，由简单命题与逻辑联结词构成的命题叫做            。复合命题的构成形式有          、          和          三种形式。
　　（3）“p或q”复合命题只有                                     时为假，否则为真命题；
　　“p且q”复合命题只有当p，q同时为真命题时为                    ，否则为假命题；
　　p与“非p”的真假               。
　　（4）全称命题与存在性命题：
　　全称命题：                                 ，符号表示：                                  .
　　存在性命题：                               ，符号表示：                                  .
　　全称命题的否定形式为：                     ，存在性命题的否定形式为：                    .
　　2、命题的四种形式及其关系：
　　（1）原命题：若p则q（p为条件，q为结论）；则逆命题：                                    ；
　　否命题：                                    ；逆否命题：                                 .
　　（2）原命题与其逆否命题同真假。一个命题的逆命题和否命题同真假。
　　（3）四种命题及其关系如下图所示 ：
　　3、充分条件与必要条件：
　　（1）如果命题“若p则q”为真，则记为p q ，否则记作                 .
　　（2）在命题“若p则q”中，
　　如果p  q,则称p是q的                    条件，同时也称q是p的                条件；
　　如果p q但q   p，则称p是q的                    条件；
　　如果p  q但q   p ，则称p是q的                    条件；
　　如果p q且q   p ，则称p是q的                     条件。
　　（3）p是q的充分条件的四种说法：
　　文字语言：命题“若p则q”为真命题；                  符号语言：p  q ；
　　集合语言：       即集合 ；           逻辑语言： q是p的必要