真和假之外并无其他的情况），所以如果其中一个是假的，另一个就必然是真。给出命题 formula_4 和命题 formula_5（非 formula_4），根据无矛盾律，两者同时为真的情况为假。给出命题 formula_1 和 formula_8，根据否定后件律，如果若 formula_1 成立时出现 formula_8，则 formula_8 为假时 formula_1 即为假。反证法在要证明 formula_1 时，透过显示出若 formula_2 成立时出现矛盾（formula_4 和 formula_