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. Analise a alternativa correta a respeito dos átomos.

Alternativa B

Análise da Questão

Esta questão aborda a definição fundamental de átomos dentro da Lógica de Predicados (ou Lógica de Primeira Ordem). Para responder corretamente, é necessário distinguir entre os diferentes componentes sintáticos e semânticos dessa linguagem.

O que é um Átomo na Lógica de Predicados?

Na lógica formal, um átomo (ou fórmula atômica) é a unidade básica de construção das fórmulas lógicas. Ele possui as seguintes características principais:

• Sintaxe: É formado pela aplicação de um símbolo de predicado a uma sequência de termos (exemplo: $P(x)$, $Maior(a, b)$).
• Semântica (Interpretação): Ao contrário dos termos (que representam objetos do domínio), as fórmulas (incluindo os átomos) avaliam-se em valores de verdade (Verdadeiro ou Falso) sob uma dada interpretação.

Por que a Alternativa B está correta?

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

• Correção: Esta opção acerta ao identificar que a característica essencial de um átomo, enquanto fórmula, é possuir um valor de verdade quando interpretado.
• Detalhe sobre constantes: Símbolos como $\top$ (verdade) e $\bot$ (falsidade) são tecnicamente considerados predicados de aridade zero, classificando-os como átomos.

Por que as outras alternativas estão incorretas?

Vamos analisar os erros nas demais opções para fixar o conceito:

• (A) Incorreta. Os átomos não correspondem apenas a valores de mentira (falso). Eles podem ser verdadeiros ou falsos dependendo da interpretação e dos dados.
• (C) e (E) Incorretas. Ambas afirmam que "variáveis são átomos". Na lógica, variáveis são consideradas termos, não fórmulas. Elas representam objetos genéricos, mas sozinhas não constituem uma sentença com valor de verdade.
• (D) Incorreta. Embora descreva uma "expressão" válida, essa definição é muito genérica e se aplica a qualquer Fórmula Bem Formada (WFF), não especificamente à definição restrita de "átomo".

Conclusão

Em resumo, a diferença chave é: Termos denotam objetos, enquanto Átomos (fórmulas atômicas) denotam proposições com valor de verdade. Portanto, a alternativa B é a única que descreve corretamente a natureza semântica dos átomos.