第十六章 常用逻辑用语

知识网络

第1讲 命题及其关系,充分条件与必要条件

★ 知 识 梳理 ★

1．用语言、符号或式子表达的，可以判断真假、的陈述句称为命题．

其中判断为真的语句称为真命题，判断为假的语句称为假命题

2．（1）如果第一个命题的条件和结论分别是另一个命题的结论_

和条件_，那么这两个命题叫互逆命题.

　（2）如果第一个命题的条件和结论恰好是另一个命题的条件的否定

和结论的否定，那么这两个命题叫互否命题.

　（3）如果第一个命题的条件和结论恰好是另一个命题的结论的否定_

和_条件的否定_____，那么这两个命题叫互否命题.

3．一般地，把条件的否定和结论的否定，分别记为"┐"和"┐"，则命题的四种形式可写为：

原命题： "若若"

　 逆命题： "若若"

否命题： "若 ┐是 ┐"

逆否命题： "若 ┐是 ┐"