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órmu...

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. Escolha uma opção: 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.