
逆否命题是指如果两个命题中一个命题的条件和结论分别是另一个命题的结论和条件的否定,则这两个命题称互为逆否命题。
一个命题与它的逆否命题等价,也就是同真同假。
所以我们经常可以通过求一个命题的逆否命题来变等价,也就是已知真求真。
1、否命题
(1)否命题与原命题可同真同假, 也可一真一假。
(2)否命题与逆命题等价,若逆命题为真,则否命题为真;反之,若逆命题为假,则否命题为假。
2、逆命题具有性质:原命题为真,它的逆命题不一定为真。例如:
原命题:若a=0,则ab=0,这是一个真命题;
逆命题:若ab=0,则a=0,这是一个假命题。
3、逆否命题
逻辑学认为命题与逆否命题是等价的,也就是命题真,则逆否命题也真。命题同它的逆否命题等价是作为公理存在的,你既不能证明它正确也不能证明它错误。其实这个东西可以认为是公理。它和公理“矛盾律”是等价的。 我们数学的体系就是建立在这些公理之上