充分条件的逆否推理就是当否定一个充分条件的后件之后,也一定要否定它的前件
出自:哲学