Redução ao absurdo

Reductio ad absurdum (latim para "redução ao absurdo") é um tipo de argumento lógico no qual alguém assume uma ou mais hipóteses e, a partir destas, deriva uma consequência absurda ou ridícula, e então conclui que a suposição original deve estar errada. O argumento se vale do princípio da não-contradição (uma proposição não pode ser, ao mesmo tempo, verdadeira e falsa) e da lei do terceiro excluído (uma proposição é verdadeira ou é falsa, não existindo uma terceira possibilidade).