A、通过表明一个命题与某个已确立为真的命题矛盾，来论证前者不成立。

B、通过一个命题能推出假的结论，来论证这个命题不成立。

C、通过表明所有可能的解释都推出同一个命题，来论证这个命题成立。

D、通过排除所有其他可能的解释，来论证剩余的那个解释是成立的。