証明 (数学)
命題 P⇒Q を証明する代わりに、これと同値な ¬Q⇒¬P を証明する方法(¬は否定)。
命題 P を証明する代わりに、¬P が偽であることを証明する方法(¬P が偽であることを証明するには、¬P を仮定して矛盾を導けばよい)。