设原命题为:a-->b
逆命题为:b-->a
否命题为:非a-->非b
逆否命题为:非b-->非a
互为逆否命题
一个命题为原命题,则和它互为逆否命题的命题为原命题的逆否命题。
原命题和逆否命题为等价命题.如果原命题成立,逆否命题成立.逆命题和否命题为等价命题,如果逆命题成立,否命题成立.
逻辑学认为命题与逆否命题是等价的,也就是命题真,则逆否命题也真。命题同它的逆否命题等价是作为公理存在的,你既不能证明它正确也不能证明它错误。其实这个东西可以认为是公理。它和公理“排中律”是等价的。
我们数学的体系就是建立在这些公理之上。
温馨提示:答案为网友推荐,仅供参考