Marque C, se a proposição é certo;  E, se a proposição é errado.

Redução ao Absurdo é um tipo de argumento em que alguém admite uma proposição da qual discorda, para derivar uma contradição. 

Gabarito: C — Certo

Tema e relevância
A redução ao absurdo (reductio ad absurdum) é uma técnica central da argumentação lógica e das provas matemáticas. Saber identificá‑la é essencial em provas de lógica, filosofia e concursos: muitas questões pedem reconhecer quando se está “assumindo o contrário” para mostrar uma contradição.

Resumo teórico
A redução ao absurdo consiste em: assumir provisoriamente uma proposição P (geralmente a negação do que se quer demonstrar) e mostrar que dessa suposição segue uma contradição (algo do tipo Q e ¬Q). Conclui‑se então que a suposição é falsa, logo a proposição contrária é verdadeira. É método padrão na lógica clássica e em demonstrações matemáticas (ex.: prova da irracionalidade de √2).

Fontes
Obras clássicas que tratam do método: Prior Analytics (Aristóteles). Manuais modernos: Irving M. Copi, Introdução à Lógica (tratamento sistemático de provas por contradição).

Justificativa da alternativa correta
A afirmação da questão descreve precisamente o método: admitir uma proposição da qual se discorda para derivar uma contradição. Isso corresponde à definição padrão de redução ao absurdo, portanto a alternativa C (Certo) está correta.

Dica prática para provas
Procure expressões como “suponha que”, “admitindo que”, “assuma o contrário” ou resultados que conduzem a “impossível”/“contradição”. Em concursos, esse reconhecimento costuma ser direto: verifique se a descrição implica assumir temporariamente uma proposição para obter incompatibilidade lógica.

Observação curta: o método é válido em lógica clássica; em lógicas não clássicas (ex.: algumas versões da lógica intuicionista ou paraconsistente) há restrições ou diferenças no uso.

Gostou do comentário? Deixe sua avaliação aqui embaixo!