反证法（又称背理法）是一种论证方式，他首先假设某命题成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证。反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果。
理据.给出命题 formula_1 和命题 formula_2（非 formula_1），根据排中律，两者之中起码有一个是真（更强的说法为，除了真和假之外并无其他的情况），所以如果其中一个是假的，另一个就必然是真。给出命题