淘汰法是借助于选言推理否定肯定式完成的，因而也称为选言证法