Diferentes implementações da linguagem de programação PROLOG permitem predicados com parâmetros, aceitam

Diferentes implementações da linguagem de programação PROLOG permitem predicados com parâmetros, aceitam

ENADE 2014 - QUESTÃO 29

Diferentes implementações da linguagem de programação PROLOG permitem predicados com parâmetros, aceitam as operações de conjunção e disjunção lógica, utilizando os símbolos vírgula (conjunção) e ponto e vírgula (disjunção), e a negação lógica com o predicado not.

Considere que um programador propoz as cláusulas mostradas a seguir, definidas em uma linguagem de programação como PROLOG, como parte da verificação de critérios para seleção de candidatos a uma chapa de presidente e vice-presidente de uma empresa. Estas cláusulas apresentam as premissas para chegar às conclusões selecionados, desconsiderados e descartado, a partir da possibilidade da existência de fatos ou regras com o identificador superior.

Considerando apenas as colocações e cláusulas acima e a hipótese de mundo fechado (closed world assumption), avalie as afirmações a seguir.

I. Para todos valores dos parâmetros P e Q, o predicado selecionados retornará um valor lógico falso.

II. Para todos valores de P e Q, os predicados selecionados e desconsiderados retornarão valores lógicos diferentes.

III. A conjunção dos predicados selecionados e desconsiderados, para quaisquer valores de P e Q, retornará um valor lógico verdadeiro.

IV. Para qualquer valor do parâmetro P, o predicado descartado retornará um valor verdadeiro.

V. A disjunção dos predicados selecionados e desconsiderados, para quaisquer valores de P e Q, retornará um valor lógico verdadeiro.

É correto apenas o que se afirma em

A) I e II.

B) I e III.

C) II e V.

D) III e IV.

E) IV e V.

RESOLUÇÃO:

Não temos resolução para essa questão! Você sabe explicar? Copie o link dessa página e envie sua resolução clicando AQUI!

GABARITO:

C) II e V.

QUESTÃO DISPONÍVEL EM:

- Prova Ciências da Computação ENADE 2014 com Gabarito