原命题和逆否命题为等价命题。一个命题与它的逆否命题具有相同的真假性,即可比如原命题和逆否命题具有一致的真假性,而逆命题和否命题具有一致的真假性。互为逆否的两个命题,真为同真,假则同假。
原命题为:若a,则b。逆否命题为:若非b,则非a。逻辑学认为命题与逆否命题是等价的,也就是命题真,则逆否命题也真。命题同它的逆否命题等价是作为公理存在的,你既不能证明它正确也不能证明它错误。其实这个东西可以认为是公理。它和公理“矛盾律”是等价的。 我们数学的体系就是建立在这些公理之上。
如果两个命题中一个命题的条件和结论分别是另一个命题论的结和条件的否定,则这两个命题称互为逆否命题。命题的否定只否结论。一个命题为原命题,则和它互为逆否命题的命题为原命题的逆否命题。原命题和逆否命题为等价命题。如果原命题成立,逆否命题成立。逆命题和否命题为等价命题,如果逆命题成立,否命题成立。
资料扩展
能够判断真假的陈述句叫做命题,正确的命题叫做真命题,错误的命题叫做假命题。原命题与逆命题互逆,否命题与原命题互否,原命题与逆否命题相互逆否,逆命题与否命题相互逆否,逆命题与逆否命题互否,逆否命题与否命题互逆。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)