Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio e inferênci...

Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio e inferência, sejam os seguintes predicados utilizados para selecionar candidatos a uma vaga em uma empresa de publicidade:

media(nome-do-aluno, valor-da-media)

sexo(nome-do-aluno, sexo)

Analise cuidadosamente esta proposição lógica composta:

∀n: ∀m: ∀s:  candidato(n) ↔  media(n,m)  ∧   m > 8.5 ∧ sexo(n,s)  ∧  s = ‘F’

E assinale a alternativa CORRETA:

Quaisquer que sejam n, m, s, se o aluno n tiver uma média m maior que 8.5 pontos e for uma mulher, então n será uma candidata a essa vaga.

Existe, pelo menos, um n tal que se o aluno n tiver uma média m maior que 8.5 pontos e for uma mulher, então n será uma candidata a essa vaga.

Quaisquer que sejam n, m, s, o aluno n será um candidato a essa vaga se e somente se o aluno n tiver uma média m menor que 8.5 pontos ou for uma mulher.

Quaisquer que sejam n, m, s, se o aluno n tiver uma média m maior que 8.5 pontos e não for uma mulher, então n será um candidato a essa vaga.

Quaisquer que sejam n, m, s, o aluno n será um candidato a essa vaga se e somente se o aluno n tiver uma média m maior que 8.5 pontos e for uma mulher.