A Redução ao absurdo (latim) é um argumento lógico em que 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 do princípio do terceiro excluído (uma proposição é verdadeira ou é falsa, não existindo uma terceira possibilidade).