Sobre a lógica de predicados, é correto o que se afirma em: A A Lógica de Primeira Ordem (LPO), ou lógica de predicados, igualmente conhecida como...

Sobre a lógica de predicados, é correto o que se afirma em: A A Lógica de Primeira Ordem (LPO), ou lógica de predicados, igualmente conhecida como Cálculo de Predicados de Primeira Ordem (CPPO), ou simplesmente cálculo de predicados, é usualmente uma extensão da lógica concorrencial. B O elemento fundamental da lógica de predicados é o predicado. Podemos considerar o predicado como uma função, que poderá ter uma lista de parâmetros ou argumentos e que retornará um valor inteiro positivo. C As possibilidades da lógica de predicados são inferiores às da lógica proposicional. D Em lógica de predicados podemos utilizar todos os conectivos lógicos – operadores – da lógica proposicional, porém não são permitidos os chamados quantificadores. E Predicados: permitem estabelecer relações entre objetos ou especificar características dos objetos.