Concursos públicos

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