A lógica de predicados é a parte lógica formal moderna que demonstra as relações lógicas entre as sentenças pela maneira como os predicados ou expressões nominais são distribuídos pelos intervalos de sujeitos por meio de quantificadores como 'todos' e 'algum', deixando de lado os significados conceituais de predicados em particular. Assinale a alternativa correta a respeito do que torna a lógica de predicados mais expressiva que a proposicional.

Introdução
A lógica proposicional é limitada: ela trata apenas de proposições atômicas (como "p" ou "q") e conectivos lógicos. Já a lógica de predicados é mais expressiva porque permite analisar a estrutura interna das proposições.

Desenvolvimento
A lógica de predicados introduz:

• Variáveis (x, y, z)
• Predicados (P(x), Q(x,y))
• Quantificadores (universal ∀ e existencial ∃)

Os quantificadores são o que torna a lógica de predicados mais expressiva. Eles permitem expressar generalizações como:

• "Todos os homens são mortais" (∀x (Homem(x) → Mortal(x)))
• "Existe algum homem sábio" (∃x (Homem(x) ∧ Sábio(x)))

Na lógica proposicional, não é possível representar essas relações de sujeito-predicado e generalizações.

Análise

• A. Termos: Termos são elementos da lógica de predicados, mas não são o que torna a lógica mais expressiva.
• B. Fórmulas e átomos: Átomos já existem na proposicional (proposições atômicas).
• C. Fórmulas: Ambas as lógicas têm fórmulas.
• D. Quantificadores: São o elemento-chave que permite generalizações e análise de estrutura.
• E. Átomos e variáveis: Átomos já existem na proposicional; variáveis sozinhas não são suficientes.

Conclusão
A alternativa correta é D, pois os quantificadores são o que permite à lógica de predicados expressar generalizações e relações de sujeito-predicado, tornando-a mais expressiva que a proposicional.