Considere a afirmação: “Uma proposta, se apresentada com clareza, não é recusada”. A negação lógica dessa afirmação é:
- A)Uma proposta é apresentada com clareza e é recusada.
Correta, porque nega a condicional afirmando que a proposta foi apresentada com clareza e, mesmo assim, foi recusada.
- B)Uma proposta não é apresentada com clareza e é recusada.
Errada, porque mistura negação da hipótese com a conclusão, mas a negação de uma condicional não tem essa forma.
- C)Se uma proposta não é apresentada com clareza, não é recusada.
Errada, porque mantém uma estrutura condicional e não representa a negação lógica da frase dada.
- D)Se uma proposta não é recusada, foi apresentada com clareza.
Errada, porque transforma a frase em outra implicação, equivalente à original, e não em sua negação.
- E)Se uma proposta não é recusada, não foi apresentada com clareza.
Errada, porque também é uma condicional e ainda inverte indevidamente a relação entre clareza e recusa.
Gabarito: A
A ideia central aqui é lembrar uma regra clássica da lógica proposicional: a negação de uma implicação do tipo "se P, então Q" não é "se não P, então não Q". Isso seria outro enunciado, não a negação. A negação correta de "se P, então Q" é "P e não Q". Simples assim: para derrubar a promessa da frase condicional, você precisa afirmar a hipótese e negar a conclusão ao mesmo tempo. Na questão, a frase diz: "Se uma proposta é apresentada com clareza, então não é recusada". Em símbolos, fica algo como P -> Q, em que P = "é apresentada com clareza" e Q = "não é recusada". Logo, a negação lógica é P e não Q, isto é: a proposta é apresentada com clareza e é recusada. Esse é um ponto muito cobrado em provas da FGV: ela adora trocar a negação da condicional por uma outra condicional com negação na frente, para ver se você escorrega no enunciado. Aqui, o gabarito A está correto exatamente porque transforma a implicação na forma negada adequada: afirma a condição e nega o resultado. Se quiser guardar uma fórmula de bolso: "negação de se P, então Q" = "P e não Q". Isso vale sempre na lógica proposicional, sem mágica e sem drama.