间接证明

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