把待证事实同其他可能的事实放在一起，通过证明其他可能事实的错误来确认待证事实成立的形式逻辑方法是()。