A alternativa correta é a letra B: "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." Na lógica de predicados, é possível utilizar todos os conectivos lógicos da lógica proposicional, como negação, conjunção, disjunção, implicação e equivalência. Além disso, a lógica de predicados permite o uso de quantificadores, que são operadores que indicam a quantidade de elementos que satisfazem uma determinada condição. Portanto, a afirmação presente na alternativa A está incorreta, pois a lógica de predicados é mais expressiva do que a lógica proposicional. As alternativas C e D apresentam informações incorretas ou incompletas sobre a lógica de predicados. A alternativa E apresenta uma definição correta de predicados, mas não responde diretamente à pergunta sobre a lógica de predicados.
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica de Programação e Algoritmos
•UNICSUL
Compartilhar