Question

Considerando-se que, no cálculo de predicados, as funçõesproposicionais não têm valor de verdade, uma funçãoproposicional pode ser transformada em proposição por meio deI tradução da função proposicional em linguagem de primeiraordem.II substituição das variáveis livres por constantes.III substituição das constantes por variáveis livres.IV quantificação das variáveis livres.V eliminação dos quantificadores universais.Estão certos apenas os itensA I e II.B I e III.C II e III.D II e IV.E III e V

#ENADE

Answer 1

Aalternativa correta é a D II e IV.

O Cálculo de Predicados tem aplicações para várias esferas diferentes como a de matemáticos, Ciência da Computação e de filosofia em que é possível indentificar por meio da observação as procesurais de programas que quando é dito a máquina aquilo que é para ser feito.

No caso das questões declarativas podemos reunir uma série de dados que são utilizados para a geração de conclusões em que programas são reconhecidos por serem sistemas especialistas ou sistemas que são beaseados na questão do conhecimento.

Espero ter ajudado.