归谬法是借助于充分条件假言推理否定后件式完成的，因而也称为假言证法