反证法是一种通过假设命题的否定是真的，然后从这个假设出发推导出矛盾或者不可能的结论，从而证明原命题为真的证明方法。
我们要证明一个数学命题：“质数是大于1的自然数。”
我们假设命题的否定是真的，即存在一个质数$p$，使得$p \leq 1$。
根据质数的定义，质数是指在大于1的自然数中，除了1和它本身以外不再有其他因数的数。
p \leq 1$，p$只能是1或者是小于1的负整数。
1不是质数，因为质数要求有两个不同的因数（1和它本身），而1只有一个因数，任何小于1的负整数也不可能是质数，因为它们不满足“大于1”的条件。
我们的假设导致了矛盾，所以原命题的否定是假的，从而证明了原命题是真的。
反证法是通过假设命题的否定是真的，然后推导出矛盾来证明原命题为真的一种证明方法。
