什么是命题

真命题是一种逻辑学术语。一般的，在数学中把用语言、符号或式子表达的，可以判

断真假的陈述句叫做命题。命题真值只能取两个值：真或假。真对应判断正确，假对应判

断错误。任何命题的真值都是唯一的，称真值为真的命题为真命题。

命题

命题的定义：一般的，在数学中把用语言、符号或式子表达的，可以判断真假

的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。

每一个命题都有逆命题，只要将原命题的题设改成结论，并将结论改成题设，

便可得到原命题的逆命题。但是原命题正确，它的逆命题未必正确。例如真命题

“对顶角相等”的逆命题为“相等的角是对顶角”，此命题就是假命题。命题通常

写成“如果......那么......”的形式。“如果”后面接题设，“那么”后面接

结论。

互逆命题

互逆命题的定义：如果一个命题的条件与结论分别是另一个命题的结论与条件，

那么这两个命题称为互逆命题。如把其中一个称为原命题，那么另一个称为它的逆

命题。其中一个命题称为另一个命题的逆命题。把一个命题的条件和结论互换就得

到它的逆命题，所以每个命题都有逆命题。

逆否命题

逆否命题的定义：一个命题的条件和结论分别是另一个命题的条件的否定和结

论的否定，把这样的两个命题叫做互否命题。如果把其中一个称为原命题，那么另

一个就叫做它的否命题。