Text this: A Prova por Redução ao Absurdo na Lógica Clássica