Question

A lógica de predicados é a parte lógica formal ou simbólica moderna que demonstra as relações lógicas entre as sentenças pela maneira como os predicados ou expressões nominais são distribuídos pelos intervalos de sujeitos por meio de quantificadores como “todos” e “alguns”, deixando de lado os significados conceituais de predicados em particular.

Assinale a alternativa correta a respeito do que torna a lógica de predicados mais expressiva que a proposicional.


A.
Termos.


B.
Fórmulas e átomos.


C.
Fórmulas.


D.
Quantificadores.


E.
Átomos e variáveis.

Answer 1

Resposta:

resposta correta é letra "b ".