Emum bate-papo, Ronaldo afirmou: Se o Edelson não comer batata frita, então o Francisco vai comer pastel. Se o Edelson comer batata frita, então a Márcia não vai comer empada. Se a Márcia comeu empada, então, é necessariamente verdade
- A)Edelson comeu batata frita e Francisco comeu pastel.
Errada, porque a partir de Márcia ter comido empada não dá para concluir que Edelson comeu batata frita; ocorre o contrário.
- B)Edelson não comeu batata frita e Francisco comeu pastel.
Certa, pois de Márcia comeu empada você conclui que Edelson não comeu batata frita e, então, Francisco comeu pastel.
- C)Edelson comeu batata frita e Francisco não comeu pastel.
Errada, porque mistura uma conclusão oposta ao que decorre da contrapositiva e ainda nega o pastel sem base lógica.
- D)Edelson não comeu batata frita e Francisco não comeu pastel.
Errada, porque a primeira parte até pode surgir da cadeia lógica, mas a segunda nega o pastel, o que contraria a implicação dada.
Gabarito: B
Aqui o segredo é tratar a frase como uma cadeia de condicionais. Quando a pessoa diz: "se não E, então F" e "se E, então não M", você pode usar a ideia da contrapositiva: uma implicação verdadeira pode ser reescrita de forma equivalente invertendo e negando as partes. Assim, de "se E, então não M" você obtém "se M, então não E". Agora vem a parte boa: se a questão diz que a Márcia comeu empada, isto é, M aconteceu, então obrigatoriamente Edelson não comeu batata frita. E, uma vez que não E aconteceu, a primeira condição entra em cena e leva ao Francisco comer pastel. Ou seja, de M você conclui duas coisas: não E e F. Por isso, a única alternativa que bate com essa dedução necessária é a que afirma que Edelson não comeu batata frita e Francisco comeu pastel. As demais ou trocam o sinal, ou afirmam o contrário do que a lógica permite. Em termos de prova, isso é pura equivalência lógica de condicionais e uso de contrapositiva, que é um clássico em raciocínio lógico de concurso: a banca adora esconder a resposta atrás de uma frase comprida, mas a lógica continua sendo a mesma.