背理法

数学の排中律から導かれる定理の一つで、ある命題Pの、否定の否定(二重否定)が真ならばPは真である、というもの。

つまり、Pの否定が偽であることを示すことで、Pが真であるこどを導く間接的な証明法のこと。