Considere verdadeira a afirmação: “Todos os corredores são magros”. Observe, a seguir, três conclusões da afirmação dada: 1. Se João é magro então é corredor. 2. Se João não é corredor, então não é magro. 3. Se João não é magro então não é corredor. Denotando por V uma conclusão verdadeira e por F uma conclusão falsa, para as três conclusões dadas, temos, respectivamente,
- A)V, V, V.
Errada, porque a conclusão 1 inverte a implicação original e não decorre da frase dada.
- B)F, V, V.
Errada, porque a conclusão 1 continua sendo uma inversão indevida, embora as conclusões 2 e 3 sejam válidas como contrapositivas da afirmação.
- C)F, F, V.
Certa, porque a 1 é falsa e as conclusões 2 e 3 são equivalentes à contrapositiva de "todos os corredores são magros".
- D)V, V, F.
Errada, porque a 1 e a 2 são verdadeiras, mas a 3 também é verdadeira; então o padrão apresentado não corresponde.
- E)V, F, F.
Errada, porque a 1 é falsa e a 2 e a 3 são verdadeiras, então a sequência não bate.
Gabarito: C
A frase-base é: "Todos os corredores são magros". Em lógica, isso significa: se alguém é corredor, então é magro. Em símbolos: C -> M. O erro mais comum aqui é achar que dá para inverter a seta sem medo. Não dá. De "se corredor, então magro" você não pode concluir "se magro, então corredor". Isso seria a conversa do espelho, e espelho em lógica costuma enganar bastante.