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, átomos, fórmulas e variáveis. Assinale a alternativa correta a respeito dos átomos.

Alternativa B - Os átomos correspondem às expressões em que a Interpretação é um valor de verdade, sendo o símbolo da verdade (true) um átomo.

Análise Didática

Para responder a esta questão, precisamos compreender a estrutura básica da Lógica de Predicados (ou Lógica de Primeira Ordem).

1. O que é um Átomo na Lógica?

Na lógica matemática, uma fórmula atômica (ou simplesmente átomo) é a unidade básica de construção das fórmulas lógicas. Ela não possui conectivos lógicos (como \wedge, \vee, \Rightarrow) nem quantificadores (\forall, \exists) como operador principal.

Sintaticamente, um átomo é definido da seguinte forma:
P(t_1, t_2, \dots, t_n)
Onde:

• P é um símbolo de predicado (ex: Mortal(x), Maior(2, 5)).
• t_i são termos (que podem ser variáveis, constantes ou funções aplicadas a outros termos).

2. Semântica dos Átomos (Interpretação)

Quando atribuímos uma interpretação ao sistema lógico (definindo o domínio de objetos e o significado dos símbolos), cada átomo assume um valor lógico:

• Verdadeiro (True/V)
• Falso (False/F)

Portanto, a característica fundamental de um átomo, sob o ponto de vista semântico, é que ele é uma expressão que pode ser avaliada como verdadeira ou falsa.

3. Avaliação das Alternativas

Vamos analisar as opções com base nessa definição:

• (A) Incorreta. Afirma que a interpretação é apenas um "valor de mentira". Isso é restritivo demais, pois átomos podem ser verdadeiros ou falsos.
• (B) Correta. Afirma que os átomos correspondem a expressões onde a interpretação resulta em um valor de verdade. Além disso, menciona que o símbolo da verdade (true) é um átomo. Em muitos formalismos lógicos, constantes booleanas como True e False são tratadas como predicados n-ários (com zero argumentos), tornando-os tecnicamente átomos válidos. Esta é a opção que melhor descreve a natureza semântica dos átomos.
• (C) Incorreta. Variáveis são termos, não átomos. Elas representam objetos do domínio, mas sozinhas não formam uma afirmação (fórmula) completa. Para virar um átomo, precisam estar dentro de um predicado (ex: P(x)).
• (D) Incorreta. Esta é uma definição genérica de "expressão" ou "fórmula bem-formada", não especificando o que é um átomo.
• (E) Incorreta. Novamente, confunde variáveis (termos) com átomos. Variáveis isoladas não são átomos; predicados aplicados a variáveis sim.

Conclusão

A alternativa B é a correta porque identifica corretamente que a função semântica de um átomo é assumir um valor de verdade sob uma interpretação, alinhando-se com a teoria da modelagem lógica.