前否后否,则有否后→(推出)否前,即非得食→(推出)非劳动者。
根据逆否命题,可以推出得食者是劳动者,即不劳动者为A,不得食为B,原命题为A是B的形式,其等值命题即非B是非A,也就是得食者是劳动者。
命题性质:
逆否命题一个命题为原命题,则和它互为逆否命题的命题为原命题的逆否命题。原命题和逆否命题为等价命题.如果原命题成立,逆否命题成立。逆命题和否命题为等价命题,如果逆命题成立,否命题成立。
逻辑学认为命题与逆否命题是等价的,也就是命题真,则逆否命题也真。命题同它的逆否命题等价是作为公理存在的,你既不能证明它正确也不能证明它错误。其实这个东西可以认为是公理。它和公理“矛盾律”是等价的。 我们数学的体系就是建立在这些公理之上。