在假说的验证阶段，对假说进行否定时，所运用的推理形式是（）。