A lógica de predicados é a parte lógica formal ou simbólica 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 “alguns”, 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.

Alternativa D - Quantificadores

Análise da Questão

A questão aborda a diferença fundamental entre a Lógica Proposicional e a Lógica de Predicados. Para responder corretamente, é necessário entender o que cada uma dessas áreas da lógica estuda e qual elemento confere maior poder de expressão à segunda.

Lógica Proposicional vs. Lógica de Predicados

• Lógica Proposicional: Trabalha com proposições completas (sentenças que podem ser verdadeiras ou falsas) tratadas como unidades atômicas indivisíveis. Ela analisa as conexões entre essas sentenças usando conectivos (como "e", "ou", "se... então"), mas não olha dentro da estrutura da frase.
• Lógica de Predicados: Vai além da superfície. Ela analisa a estrutura interna das proposições, identificando sujeitos, predicados e variáveis.

O Papel dos Quantificadores

O diferencial que torna a lógica de predicados mais expressiva é a capacidade de fazer afirmações gerais sobre um conjunto de indivíduos. Isso é feito através dos quantificadores:

• Quantificador Universal ($\forall$): Representa "para todo" ou "todos". Exemplo: $\forall x (H(x) \rightarrow M(x))$ ("Todos os humanos são mortais").
• Quantificador Existencial ($\exists$): Representa "existe algum" ou "alguns". Exemplo: $\exists x (H(x) \wedge S(x))$ ("Existe algum humano que é sábio").

Na lógica proposicional, seria impossível analisar essa estrutura interna de "todo" ou "algum"; ela trataria a frase inteira como uma única letra (ex: $P$), perdendo a capacidade de raciocínio sobre grupos.

Conclusão

Como destacado no próprio enunciado da questão ("...por meio de quantificadores como 'todos' e 'alguns'..."), é a introdução desses operadores que permite a generalização e a análise da distribuição dos predicados sobre os sujeitos, algo que a lógica proposicional não consegue realizar.

Portanto, a alternativa correta é a D.