逆命题,若a+c大于b+c,则a大于b 是真命题
否命题,若a不大于b,则a+c不大于b+c 真命题
逆否命题,若a+c不大于b+c,则a不大于b,真命题