Ana, Bárbara e Clarice acabaram de se conhecer em uma festa e conversaram sobre vários assuntos. Elas concluíram que Ana e Bárbara são advogadas e Clarice não é advogada. Assim, dentre as afirmações a seguir, a única verdadeira é:
- A)Ana não é advogada e Clarice é advogada.
Errada, porque afirma que Ana não é advogada e que Clarice é advogada, mas o enunciado diz exatamente o contrário sobre as duas.
- B)Bárbara não é advogada e Clarice é advogada.
Errada, porque diz que Bárbara não é advogada e que Clarice é advogada, contrariando os dados de que Bárbara é advogada e Clarice não é.
- C)Se Clarice é advogada, então Ana não é advogada.
Certa, porque é uma condicional com antecedente falso, e nesse caso a proposição é verdadeira; além disso, o enunciado confirma que Ana é advogada, o que não invalida a estrutura lógica da frase.
- D)Se Bárbara é advogada, então Ana não é advogada.
Errada, porque Bárbara é advogada e Ana também é advogada, então a condicional falha no caso em que o antecedente é verdadeiro e o consequente é falso.
Gabarito: C
Aqui a chave é ler as afirmações com calma e separar o que foi dado como fato do que aparece nas alternativas. O enunciado já crava duas coisas: Ana e Bárbara são advogadas, e Clarice não é advogada. Então qualquer opção que diga o contrário desses fatos já nasce errada. Em raciocínio lógico, uma implicação do tipo "Se P, então Q" só é falsa em um caso: quando P é verdadeira e Q é falsa. Em todos os outros cenários, ela continua verdadeira. Essa é a base clássica da lógica proposicional, e costuma derrubar muita gente que tenta ler a frase como se fosse uma afirmação absoluta. Na alternativa C, temos: "Se Clarice é advogada, então Ana não é advogada." Como o enunciado informa que Clarice não é advogada, o antecedente da condicional é falso. E condicional com antecedente falso é verdadeira, independentemente do consequente. Além disso, o consequente ainda contraria o dado do enunciado, que diz que Ana é advogada. Então, entre as quatro, a única que se sustenta é a C. As demais entram em choque direto com os dados iniciais ou montam uma condicional que falha exatamente no caso proibido. Em prova, esse tipo de questão é um convite para você não discutir, só verificar a compatibilidade lógica.