常用逻辑用语
一、命题1、命题的概念
在数学中用语言、符号或式子表达的，可以判断真假的陈述句叫做命题．其中判断为真的语句叫做真命题，判断为假的语句叫做假命题．
2、四种命题及其关系
(1)、四种命题
(2)、四种命题间的逆否关系
(3)、
四种命题的真假关系
**两个命题互为逆否命题，它们有相同的真假性；
*两个命题为互逆命题或互否命题，它们的真假性没有关系．
二、充分条件与必要条件
1、定义
1．如果pq，则p是q的充分条件，
q是p的必要条件．
2．如果pq，qp，则p是q的充要条件．
2、四种条件的判断
1.如果“若<Object: word/embeddings/oleObject5.bin>
则<Object: word/embeddings/oleObject6.bin>
”为真，记为
<Object: word/embeddings/oleObject7.bin>
，如果“若<Object: word/embeddings/oleObject8.bin>
则<Object: word/embeddings/oleObject9.bin>
”为假，记为
<Object ...