已知：不勞動(dòng)者不得食 推論：根據(jù)所學(xué)邏輯知識(shí)，推出哪些論斷，寫(xiě)出推理公式，并表達(dá)出推論所得結(jié)論

前否后否，則有否后→（推出）否前，即非得食→（推出）非勞動(dòng)者。

根據(jù)逆否命題，可以推出得食者是勞動(dòng)者，即不勞動(dòng)者為A，不得食為B，原命題為A是B的形式，其等值命題即非B是非A，也就是得食者是勞動(dòng)者。

命題性質(zhì)：

逆否命題一個(gè)命題為原命題，則和它互為逆否命題的命題為原命題的逆否命題。原命題和逆否命題為等價(jià)命題．如果原命題成立，逆否命題成立。逆命題和否命題為等價(jià)命題，如果逆命題成立，否命題成立。

邏輯學(xué)認(rèn)為命題與逆否命題是等價(jià)的，也就是命題真，則逆否命題也真。命題同它的逆否命題等價(jià)是作為公理存在的，你既不能證明它正確也不能證明它錯(cuò)誤。其實(shí)這個(gè)東西可以認(rèn)為是公理。它和公理“矛盾律”是等價(jià)的。 我們數(shù)學(xué)的體系就是建立在這些公理之上。