常用逻辑用语：
1、四种命题：
⑴原命题：若p则q;⑵逆命题：若q则p;⑶否命题：若 p则 q;⑷逆否命题：若 q则 p
优8224b2e5慧元学科4adc-东bad1升广技网限学途西件有软高公司 注：1、原命题与逆否命题等价;逆命题与否命题等价。判断命题真假时注意转化。
2、注意命题的否定与否命题的区别：命题否定形式是 ;否命题是 .命题“ 或 ”的否定是“ 且 ”;“ 且 ”的否定是“ 或 ”.
3、逻辑联结词：
⑴且(and) ：命题形式 p q; p q p q p q p
⑶非(not)：命题形式 p . 真 假 假 真 假
假 真 假 真 真
假 假 假 假 真
“或命题”的真假特点是“一真即真，要假全假”;
东bad1量秀途西秀优8224b2e5学司40d28c33限网-cbf84ba1升科4adc西公心有3c392bda软高慧技根元学940f2669广1f0a件
“且命题”的真假特点是“一假即假，要真全真”;
“非命题”的真假特点是“一真一假”
4、充要条件
广1f0a上b45a径优8224b2e5得学件网-cbf84ba1技根量软高限公心46f4途西秀824c升费径4e79有3c392bdab49c8e1b东bad1量秀a63e司40d28c33慧bb4d元学940f2669高科4adc西
由条件可推出结论，条件是结论成立的充分条件;由结论可推出条件，则条件是结论成立的必要条件。
5、全称命题与特称命题：
短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号表示。含有全体量词的命题，叫做全称命题。
短语“有一个”或“有些”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通常叫做存在量词，并用符号 表示，含有存在量词的命题，叫做存在性命题。
全称命题p： ; 全称命题p的否定 p：。
特称命题p： ; 特称命题p的否定 p：