4)Texto base

Texto-base: A demonstração por Redução ao Absurdo é muito utilizada quando não é possível realizar uma demonstração direta. Seu resultado é equivalente ao de uma demonstração direta.

Enunciado: Uma demonstração por Redução ao Absurdo consiste em criar uma situação que produza um resultado que viole a seguinte lei da lógica: