O método de prova por redução ao absurdoConsiste no seguinte argumento: supômos que Q é falsa e provamos que então P também o é. Como? Em geral derivando uma "contradição" ou um "absurdo", isto é, algo incompatível com a veracidade assumida de P.