Considerando que a lógica de predicados oferece um mecanismo s...

Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio, inferência e os predicados a seguir, utilizados para selecionar candidatos a uma vaga de estágio em uma empresa de publicidade: media(nome-do-aluno, valor-da-media)

sexo(nome-do-aluno, sexo)

Analise cuidadosamente a proposição lógica composta a seguir:

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

E assinale a alternativa CORRETA:

a.
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.

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

c.
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.

d.
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.

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