Question

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.


A.
Os átomos correspondem às expressões em que a interpretação é um valor de mentira, sendo o símbolo da mentira (false) um átomo.


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


C.
As variáveis são átomos, pois os resultados de suas interpretações representam objetos.




D.
Uma expressão é uma junção válida de símbolos do alfabeto, que podem ser átomos.


E.
Os átomos correspondem às expressões em que a interpretação é um valor de verdade, sendo átomos as variáveis individuais.

Answer 1

Resposta:

a

Explicação: