在论证中通过证明与论题相矛盾的论断为假，然后根据排中律确定论题为真的论证方法是（）