Question

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 idenfificador superior.superior(jorge). superior(ana).selecionados(P,Q)superior(P), superior(Q) desconsiderados(P,Q) :- not(superior(P)); not(superior(Q)). descartado(P) :- not(superior(P)).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 p, o predicado s e 1ec i onados retornará um valor lógico falso.II.Para todos valores de P e p, os predicados se becionado s e de s consi de E ado s retornarãovalores lógicos diferentes.III.A conjunção dos predicados s e1eci onados e des consi deE ado s, para quaisquer valores de P e p, retornará um valor lógico verdadeiro.IV.Para qualquer valor do parâmetro P, o predicado des caE ta do retornará um valor verdadeiro.V.A disjunção dos predicados seec i onados e des consi deza dos, para quaisquer valores de P e g, retornará um valor lógico verdadeiro.É correto apenas o que se afirma em@ I e II.O I e III.O II e V.OIII e IV.O IV e V.

#ENADE

Answer 1

As afirmativas corretas são II e V. Letra C.

Para a solução da questão é preciso analisar cada uma das questões, em que os candidatos selecionados consistem na expressão lógica P e Q, candidatos desconsiderados corresponde a ~P ou ~Q, onde ~ corresponde a não.

Ao analisar as afirmativas temos que V(P) = V e V(Q) = V retorna verdadeiro, depois da aplicação da lei de De Morgan fica claro que um é o oposto do outro. De forma que a conjunção de uma proposição e sua negação será sempre falso.

Bons estudos!