( )就是用若干已知为真的判断确定另一个判断的虚假性或者确定对某一判断的论证不能成立的思维过程。