间接证明

间接证明   jiān jiē zhèng míng

由确定相关判断之假来确定论题之真的证明方法。包括反证法和选言证明。