找到推理形式相同，但前提明显为（），结论明显为假的“反例”，是揭示一个演绎推理无效的重要手段。