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 C

A lógica de predicados representa um avanço significativo em relação à lógica proposicional, permitindo a análise da estrutura interna das sentências. Enquanto a lógica proposicional trata afirmações completas como unidades atômicas sem decomposição, a lógica de predicados investiga como os predicados se relacionam com os sujeitos dentro de um determinado domínio.

O fator determinante que confere maior expressividade a esse sistema lógico é a introdução de mecanismos para lidar com generalizações e particularidades. É através dos quantificadores que podemos afirmar propriedades sobre todos os elementos ou sobre pelo menos um deles.

Análise

• Quantificadores: São os símbolos lógicos fundamentais (como $\forall$ para "para todo" e $\exists$ para "existe algum") que permitem a distribuição de predicados sobre intervalos de sujeitos.
• Capacidade de Generalização: Permitem traduzir sentenças naturais como "Todos os cães latem" ou "Algumas flores são vermelhas" de forma precisa, algo impossível na lógica proposicional pura.
• Vantagem Expressiva: A lógica proposicional carece desses recursos, tratando apenas as conexões entre proposições verdadeiras ou falsas sem olhar para sua composição interna.

Assim, a capacidade de utilizar quantificadores para vincular variáveis a predicados é o que eleva a lógica de predicados acima da lógica proposicional.

Alternativa C.