命题:可以判断真假的语句叫做命题. 原命题为:a--b 逆命题为:b--a 否命题为:非a--非b 逆否命题为:非b--非a 互为逆否命题:如果两个命题中一个命题的条件和结论分别是另一个命题的结论和条件的否定,则这两个命题称互为逆否命题. 一个命题为原命题,则和它互为逆否命题的命题为原命题的逆否命题. 原命题和逆否命题为等价命题.如果原命题成立,逆否命题成立.逆命题和否命题为等价命题,如果逆命题成立,否命题成立. 逻辑学认为命题与逆否命题是等价的,也就是命题真,则逆否命题也真.可以使用反证法来证明逆否命题与原命题等价的! 原命题:若吃多了,则肚子涨 逆命题:若肚子涨,则吃多了 否命题:若没吃多,则肚子不涨 逆否命题:若肚子不涨,则没吃多 原命题是正确的.所以逆否成立. 但是逆命题和否命题不一定成立.肚子涨也许是水喝多了. 原命题:若呼叫中心很忙,则我们也不能休假 逆命题:若我们不能休假,则呼叫中心很忙 否命题:若呼叫中心不忙,则我们可以休假 逆否命题:若我们可以休假,则呼叫中心不忙 原命题是正确的.所以逆否成立. 但是逆命题和否命题不一定成立.不能休假,也许并不因为忙,而有可能是被忽悠了 休假,是我休假,但不是我要这个时候休假. 我这个时候休假,是因为组织上安排我这个时候休假. 现在是组织上安排我这个时候休假,然而组织上又叫所有人(包括我)不许休假.