formula_2 为假，从而证明 formula_1 为真。
例子.formula_19是无理数的证明（古希腊人）证明：假设formula_19是有理数，那么可以写成 p/q 的形式，其中 p、q 皆为正整数且 p、q互质。那么有可得 p² 是偶数。而只有偶数的平方才是偶数，所以 p 也是偶数。因此可设 p=2s，代入上式，得：q²=2s²。所以 q ²也是偶数，故可得 q 也是偶数。这样 p、q 都是偶数，不互质，这与假设 p、q 互质矛盾，假设不成立。因此fo