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