所谓( )，就是为了反驳某个判断，首先假定它是真的，然后由它推出荒谬的结论，最后根据充分条件假言推理的否定后件式，得出该判断是假的。