Considerar verdadeira a afirmação: “Se o estudante é da turma da professora Marta, então foi na excursão.”. Em relação a isso, assinalar a alternativa que apresenta uma proposição equivalente a essa afirmação:
- A)Se Júlia foi na excursão, então ela é aluna da turma da professora Marta.
Errada, porque diz o inverso da condicional original e ainda afirma a conclusão como hipótese, o que não preserva equivalência lógica.
- B)Se Júlia não foi na excursão, então ela é aluna da turma da professora Marta.
Errada, porque nega apenas a primeira parte e mantém a conclusão, formando uma estrutura que não equivale à original.
- C)Se João não foi na excursão, então não é aluno da professora Marta.
Certa, porque traz a contrapositiva da frase dada: "se não foi na excursão, então não é da turma da professora Marta".
- D)A professora Marta foi na excursão.
Errada, porque apenas repete um dado sobre a professora Marta e não apresenta uma proposição equivalente à condicional.
Gabarito: C
A estrutura aqui é uma condicional: "Se P, então Q". Em lógica, a forma equivalente mais importante dessa frase é a contrapositiva, que troca a ordem e nega as duas partes: "Se não Q, então não P". Essa equivalência é clássica e cai muito em prova porque parece outra frase, mas mantém o mesmo valor lógico. No enunciado, temos: "Se o estudante é da turma da professora Marta, então foi na excursão." Vamos simbolizar assim: P = ser da turma da professora Marta, Q = ter ido na excursão. A equivalente é: "Se não foi na excursão, então não é da turma da professora Marta." Perceba que a lógica não depende de ser Júlia, João ou qualquer outra pessoa: o nome é só um enfeite do texto. Por isso a alternativa C está correta. Ela apresenta exatamente a contrapositiva da afirmação original: se a pessoa não foi na excursão, então não pertence à turma da professora Marta. Isso preserva a equivalência lógica da condicional inicial. Em linguagem de prova, não confunda equivalente com "parecida" - a banca adora trocar nomes e brincar com a negação. Resumo para guardar: em proposições do tipo "se P, então Q", a equivalente segura é "se não Q, então não P". É a famosa contrapositiva, quase uma regra de ouro do raciocínio lógico.