Considere como verdadeiras as sentenças a seguir. • Se Priscila é paulista, então Joel é capixaba. • Se Gabriela não é carioca, então Joel não é capixaba. • Se Gabriela é carioca, então Priscila não é paulista. É correto deduzir que:
- A)Gabriela é carioca;
Errada, porque nada permite concluir que Gabriela seja carioca de forma direta e inevitável.
- B)Gabriela não é carioca;
Errada, porque a informação não força a negação de Gabriela ser carioca; isso não decorre das premissas.
- C)Priscila não é paulista;
Certa, pois assumir que Priscila é paulista leva a uma contradição lógica com as demais sentenças.
- D)Priscila é paulista;
Errada, porque a conclusão vai no sentido contrário: não é possível afirmar que Priscila seja paulista.
- E)Joel não é capixaba.
Errada, porque Joel não pode ser descartado assim diretamente; essa negação não é a dedução necessária.
Gabarito: C
Em questões de lógica, um truque muito útil é olhar para a contrapartida da frase condicional. Se você tem "Se P, então Q", pode trocar por "se não Q, então não P" sem mudar o sentido. A banca adora esse caminho porque ele evita chute e deixa a dedução mais limpa. Aqui, as três sentenças falam de Priscila, Gabriela e Joel. Da segunda, "Se Gabriela não é carioca, então Joel não é capixaba", você pode obter a contrapartida: "Se Joel é capixaba, então Gabriela é carioca". Da primeira, "Se Priscila é paulista, então Joel é capixaba", também dá para inverter: "Se Joel não é capixaba, então Priscila não é paulista". Agora observe a terceira: "Se Gabriela é carioca, então Priscila não é paulista". Juntando as ideias, se Priscila fosse paulista, a primeira sentença levaria Joel a ser capixaba; pela contrapartida da segunda, Joel capixaba levaria Gabriela a ser carioca; e pela terceira, Gabriela carioca levaria Priscila a não ser paulista. Ou seja, assumir que Priscila é paulista gera contradição. Então a conclusão obrigatória é que Priscila não é paulista. É exatamente isso que a alternativa C afirma. Em lógica de concurso, quando uma hipótese gera choque interno, você elimina a hipótese e fica com a negação dela.