Considerando-se que, no cálculo de predicados, as funções proposicionais não têm valor de verdade, uma função proposicional pode ser transformada em proposição por meio de I - tradução da função proposicional em linguagem de primeira ordem. 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 itens