通过否定反证事实来肯定与之相反的待证事实的形式逻辑方法是()。