Alternativa A - Quantificador universal
Introdução
A questão aborda a diferença fundamental entre a lógica proposicional e a lógica de predicados. Enquanto a lógica proposicional trabalha com frases completas como verdadeiras ou falsas, a lógica de predicados permite analisar a estrutura interna das sentenças, utilizando quantificadores e variáveis.
O enunciado destaca uma característica específica: a capacidade de fazer afirmações sobre "todos os objetos" de um contexto sem precisar listá-los individualmente.
Desenvolvimento
Para entender qual conceito corresponde à descrição, precisamos analisar as funções dos principais elementos da lógica de predicados mencionados nas opções:
- Quantificadores: São símbolos que indicam a quantidade de elementos para os quais uma propriedade é válida.
- Variáveis: Representam lugares reservados para objetos dentro de uma fórmula lógica.
O texto diz explicitamente: "relativos a todos os objetos inseridos em um contexto". Isso é a definição exata do quantificador que cobre a totalidade do universo de discurso.
Analise
Vamos detalhar por que a Alternativa A é a correta e as outras não se encaixam:
- A. Quantificador universal: Representado pelo símbolo $\forall$. Ele significa "para todo", "para cada" ou "para todos". É exatamente o recurso usado para generalizar propriedades sobre todos os elementos de um conjunto.
- B. Variáveis: São símbolos genéricos (como $x$, $y$) usados para representar qualquer objeto, mas sozinhas não definem a quantidade (se são todos ou alguns).
- C. Quantificador existencial: Representado pelo símbolo $\exists$. Significa "existe", "algum" ou "pelo menos um". Seria usado se o texto dissesse "relativos a alguns objetos".
- D. Fórmulas: É o termo geral para combinações de símbolos na lógica, não específico para a ideia de "todos".
- E. Termos: Referem-se às partes constituintes de uma fórmula (como nomes próprios ou variáveis), não ao ato de quantificar.
Resumo Comparativo
| Conceito | Símbolo | Significado Principal | Exemplo de Uso |
|---|
| Quantificador Universal | $\forall$ | Para todo / Todos | $\forall x, P(x)$ (Para todo x, P é verdadeiro) |
| Quantificador Existencial | $\exists$ | Existe / Algum | $\exists x, P(x)$ (Existe um x tal que P é verdadeiro) |
Conclusão
A frase chave "fatos relativos a todos os objetos" aponta diretamente para a função de generalização total. Portanto, a afirmacao refere-se ao Quantificador universal, tornando a Alternativa A a resposta correta.