Mariana pode ser de qualquer cidade, porém se ela não foi aprovada no ENEM

então é necessariamente verdadeiro que: ela não é estudante de Imbé.

A proposição dada é:

“Todos os estudantes de Imbé foram aprovados no ENEM.”

Em lógica, isso equivale a dizer:

Se alguém é estudante de Imbé, então foi aprovado no ENEM.

Usando a contrapositiva que é uma equivalência lógica de uma proposição condicional "Se P, então Q", sendo formada por "Se não Q, então não P" (negando e invertendo as partes), e sempre possui o mesmo valor de verdade da original:

Se não foi aprovado no ENEM, então não é estudante de Imbé.

->

Resposta correta: C ✅

Se Mariana não foi aprovada no ENEM, então ela não é estudante de Imbé.

contrapositiva

Proposição: “Todos os estudantes de Imbé foram aprovados no Exame Nacional do Ensino Médio (ENEM)”.

Representação da proposição:

• "Se P então Q" = "(P -> Q)" = "P está contido em Q".

Vamos analisar as alternativas:

A) Se Martha foi aprovada no ENEM, então ela é de Imbé. (errado).

• Marta pode ter sido aprovado no enem, mesmo sem ser de imbé.

B) Existe ao menos um estudante de Imbé que não foi aprovado no ENEM. (errado).

• Todos os estudantes de imbé foram aprovados no enem.

C) Se Mariana não foi aprovada no ENEM, então ela não é estudante de Imbé. (certo).

• Se todos que são de imbé passaram no enem e mariana não passou, em nenhuma hipótese ela seria de imbé.

D) Nem todos os estudantes de Imbé foram aprovados no ENEM.(errado).

• Todos os estudantes de imbé foram aprovados no enem.

E) Se Marcelo não é estudante de Imbé, então ele não foi aprovado no ENEM. (errado).

• Poder ter estudantes que passaram no enem (aprovados) que moram em outras cidades.

essa é pra não zerar