Rogério contou a seu amigo Carlos que possui os seguintes hábitos semanais, sendo todas alegações verdadeiras: • Almoço na casa da minha sogra ou na casa de minha mãe. • Como frango e almoço na minha sogra. • Se almoço na casa de minha mãe, não como feijão. Se hoje Rogério comeu feijão, Carlos pode concluir como verdadeiro que, hoje, Rogério:
- A)Comeu frango ou almoçou na casa de sua mãe.
Correta, porque se ele comeu feijão, então não almoçou na casa da mãe e, pela disjunção dada, acabou almoçando na sogra, onde come frango.
- B)Almoçou na casa de sua sogra e não comeu frango.
Errada, pois almoçar na sogra até decorre do raciocínio, mas não há base para concluir que ele não comeu frango; na verdade, a segunda premissa aponta o contrário.
- C)Almoçou na casa de sua mãe ou não comeu frango.
Errada, porque a parte "almoçou na casa de sua mãe" não pode ser afirmada quando ele comeu feijão, já que a terceira premissa nega essa combinação.
- D)Não comeu frango nem almoçou na casa de sua sogra.
Errada, pois não almoçar na sogra contradiz a conclusão lógica obtida a partir de ele ter comido feijão e, além disso, a frase não acompanha as premissas dadas.
Gabarito: A
Aqui a chave é transformar as frases em regras lógicas e ir eliminando possibilidades. Temos: "almoço na casa da minha sogra ou na casa de minha mãe"; "como frango e almoço na minha sogra"; e "se almoço na casa de minha mãe, não como feijão". Como hoje Rogério comeu feijão, a terceira regra diz que ele não almoçou na casa da mãe. Se não foi na casa da mãe, pela primeira frase sobra a casa da sogra. E, se ele almoçou na sogra, a segunda frase garante que ele comeu frango também. Portanto, hoje ele comeu frango ou almoçou na casa de sua mãe? Cuidado: a conclusão correta vem da necessidade lógica de que, com feijão, ele não foi à mãe e, logo, foi à sogra, onde come frango. Assim, a alternativa A fica verdadeira porque a parte "comeu frango" já basta para cumprir o "ou". Em provas de lógica, "ou" costuma ser inclusivo: basta uma das partes ser verdadeira para a sentença inteira valer.