Dada que a sentença “Todo dragão possui poderes mágicos” tem valor verdadeiro, então, é correto afirmar que
- A)se Timtim possui poderes mágicos, então ele é um dragão.
Errada, porque de "Timtim possui poderes mágicos" não se conclui que ele seja dragão; isso seria a conversa inversa, que não é garantida.
- B)existe pelo menos um dragão que não possui poderes mágicos.
Errada, pois a frase dada afirma justamente que todo dragão tem poderes mágicos, então não existe dragão sem esses poderes.
- C)se Timtim não é um dragão, então ele não possui poderes mágicos.
Errada, porque se Timtim não é dragão, não dá para concluir nada sobre ele não possuir poderes mágicos; ele pode muito bem ter poderes mágicos sem ser dragão.
- D)se Timtim não possui poderes mágicos, então ele não é um dragão.
Certa, pois é o contrarrecíproco de "todo dragão possui poderes mágicos": se não possui poderes mágicos, então não é dragão.
Gabarito: D
A frase "Todo dragão possui poderes mágicos" é uma proposição universal condicional: se algo é dragão, então possui poderes mágicos. Em lógica, isso não permite concluir o inverso, nem dizer que quem tem poderes mágicos é dragão. O que vale mesmo é a ideia de contrapartida: se alguém não possui poderes mágicos, então não pode ser dragão, porque um dragão obrigatoriamente teria esse atributo. Pense assim: a regra cria uma relação do tipo "A implica B". Quando essa regra é verdadeira, a forma segura de negar é pelo contrarrecíproco: "não B implica não A". Isso é um clássico do raciocínio lógico e cai muito em prova porque a banca adora testar se voce troca a implicação pelo inverso, que parece parecido, mas não é a mesma coisa. Então, no enunciado, se Timtim não possui poderes mágicos, ele não pode ser dragão. É exatamente a alternativa D. As demais tentam inverter ou enfraquecer a relação, mas lógica não aceita esse atalho. Resumo de prova: de "todo dragão tem poderes mágicos" você tira com segurança que qualquer ser sem poderes mágicos não é dragão. É o famoso contrarrecíproco, que preserva o valor lógico da sentença.