A lógica de predicados tem uma linguagem mais ampla e representativa, pois contém os quantificadores, símbolos funcionais e de predicados. As fórmulas na linguagem da lógica de predicados são definidas por meio de alguns elementos básicos: termos, fórmulas e variáveis. Assinale a alternativa correta a respeito dos átomos.

Alternativa D

Introdução à Lógica de Predicados

A questão aborda os conceitos fundamentais da Lógica de Predicados, especificamente sobre a formação sintática dos elementos básicos: termos, átomos e fórmulas. Para responder corretamente, é essencial distinguir entre a estrutura das fórmulas (Sintaxe) e seus significados (Semântica).

Na lógica formal, existe uma hierarquia clara de construção:

1. Termos: Representam objetos (variáveis, constantes ou funções aplicadas a termos).
2. Átomos: São predicados aplicados a termos (ex: $P(x)$).
3. Fórmulas: Combinações de átomos usando conectivos lógicos e quantificadores.

Análise Detalhada das Alternativas

Para identificar a resposta correta, devemos analisar cada opção com base nas definições teóricas:

• Alternativa A (Incorreta): Afirma que átomos correspondem a valores de mentira. Isso confunde Sintaxe (a forma do símbolo) com Semântica (o valor lógico atribuído durante a interpretação). Um átomo é uma estrutura, não um valor booleano direto como "falso".
• Alternativa B (Incorreta): Assim como a letra A, esta opção define átomos através de um valor de verdade ("verdade"). O símbolo da verdade não é um átomo; ele é um valor resultante da avaliação de uma fórmula fechada.
• Alternativa C (Incorreta): Diz que variáveis são átomos. Na verdade, variáveis são termos. Para formar um átomo, é necessário um símbolo de predicado aplicado a esses termos (ex: $E(x)$). Uma variável isolada não constitui um átomo.
• Alternativa D (Correta): Define uma expressão como uma junção válida de símbolos do alfabeto que podem ser átomos. Esta afirmação é tecnicamente correta porque:
• Toda fórmula bem-formada (expressão) é uma combinação válida de símbolos.
• Os átomos são considerados os casos base dessas expressões (expressões sem conectivos).
• Ao contrário das outras opções, não comete erros conceituais sobre a natureza dos átomos.
• Alternativa E (Incorreta): Repete o erro das alternativas A e B ao vincular átomos diretamente a "valores de verdade" e confunde a definição de variáveis individuais com átomos.

Conclusão

As alternativas A, B e E falham ao misturar a definição estrutural dos átomos com seus valores de verdade (semântica). A alternativa C falha ao classificar variáveis soltas como átomos. A Alternativa D é a única que descreve corretamente a relação entre expressões válidas e átomos dentro da sintaxe da lógica, reconhecendo que átomos são parte fundamental dessa construção simbólica.

Portanto, a resposta correta é a Alternativa D.