五、常用逻辑用语：四种命题：⑴原命题：若p则q；⑵逆命题：若q则p；⑶否命题：若 p则 q；⑷逆否命题：若 q则 p注：原命题与逆否命题等价；逆命题与否命题等价。

判断命题真假时注意转化。

2、注意命题的否定与否命题的区别：命题 否定形式是 ；否命题是 .命题“ 或 ”的否定是“ 且 ”；“ 且 ”的否定是“ 或 ”.3、逻辑联结词：⑴且(and) ：命题形式 p q；       p    q    p q  p q    p⑵或（or）：命题形式 p q；      真   真    真    真     假⑶非（not）：命题形式 p .        真   假    假    真     假                                  假   真    假    真     真                                  假   假    假    假     真 “或命题”的真假特点是“一真即真，要假全假”；“且命题”的真假特点是“一假即假，要真全真”；“非命题”的真假特点是“一真一假”4、充要条件由条件可推出结论，条件是结论成立的充分条件；由结论可推出条件，则条件是结论成立的必要条件。

5、全称命题与特称命题：短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号 表示。

含有全体量词的命题，叫做全称命题。

短语“有一个”或“有些”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通常叫做存在量词，并用符号 表示，含有存在量词的命题，叫做存在性命题。

全称命题p： ；       全称命题p的否定 p： 。

特称命题p： ；        特称命题p的否定 p： ；。