充分条件的逆否推理就是当否定一个充分条件的后件之后，也一定要否定它的前件