Considere as premissas a seguir: • Se hoje é feriado, então Júlia vai viajar e Gabriel terá folga. • Se Júlia vai viajar ou Marcelo vai trabalhar, então Daniel vai ao show. • Hoje, Gabriel está de folga e Daniel não foi ao show. Sabendo-se que as premissas apresentadas são verdadeiras, é possível concluir que hoje
- A)é feriado e Júlia vai viajar.
Errada, porque as premissas levam à conclusão de que Júlia não vai viajar, então não dá para afirmar que hoje é feriado e que ela viajará.
- B)não é feriado e Júlia vai viajar.
Errada, porque a própria análise das premissas mostra que Júlia não vai viajar, então essa alternativa contradiz o que foi deduzido.
- C)é feriado ou Marcelo vai trabalhar.
Errada, porque não há como garantir que hoje é feriado, e ainda foi possível concluir que Marcelo não vai trabalhar.
- D)não é feriado e Marcelo não vai trabalhar.
Certa, pois a negação de "Júlia vai viajar ou Marcelo vai trabalhar" permite concluir que Marcelo não vai trabalhar, e isso também afasta a hipótese de feriado.
Gabarito: D
Em raciocínio lógico, a chave é transformar as frases em relações do tipo "se... então..." e depois usar a contraposição quando necessário. Aqui, a segunda premissa diz: se Júlia vai viajar ou Marcelo vai trabalhar, então Daniel vai ao show. Como a terceira premissa informa que Daniel não foi ao show, você consegue concluir que a condição anterior não aconteceu. Em outras palavras, nem Júlia vai viajar nem Marcelo vai trabalhar. Isso já derruba a alternativa que fala em Marcelo trabalhando. E ainda tem um detalhe importante: a primeira premissa diz que, se hoje é feriado, então Júlia vai viajar e Gabriel terá folga. Mas, como você já concluiu que Júlia não vai viajar, hoje não pode ser feriado. Se fosse feriado, a viagem de Júlia teria de acontecer, o que entraria em choque com o que foi deduzido. Então, juntando as peças, hoje não é feriado e Marcelo não vai trabalhar. É o tipo de questão que parece uma novela, mas no fundo só pede uma boa leitura das implicações e da negação delas. Em lógica proposicional, a ideia central é esta: se o consequente é falso, o antecedente composto também não pode ser verdadeiro.