已知：不劳动者不得食 推论：根据所学逻辑知识，推出哪些论断，写出推理公式，并表达出推论所得结论

前否后否，则有否后→（推出）否前，即非得食→（推出）非劳动者。

根据逆否命题，可以推出得食者是劳动者，即不劳动者为A，不得食为B，原命题为A是B的形式，其等值命题即非B是非A，也就是得食者是劳动者。

命题性质：

逆否命题一个命题为原命题，则和它互为逆否命题的命题为原命题的逆否命题。原命题和逆否命题为等价命题．如果原命题成立，逆否命题成立。逆命题和否命题为等价命题，如果逆命题成立，否命题成立。

逻辑学认为命题与逆否命题是等价的，也就是命题真，则逆否命题也真。命题同它的逆否命题等价是作为公理存在的，你既不能证明它正确也不能证明它错误。其实这个东西可以认为是公理。它和公理“矛盾律”是等价的。 我们数学的体系就是建立在这些公理之上。