Question

Uma parte da expressividade da lógica de predicados ocorre devido à utilização de conectivos lógicos. Entretanto, o que a torna de fato mais expressiva que a lógica proposicional é a aplicação de quantificadores e variáveis. Dessa forma, considere a seguinte afirmação:

Por meio do seu uso, é possível estabelecer fatos relativos a todos os objetos inseridos em um contexto, sem a necessidade de enumerar todos eles de maneira explícita.

Assinale a alternativa que indica a que se refere tal afirmação.


A.
Quantificador universal.


B.
Variáveis.


C.
Quantificador existencial.


D.
Fórmulas.


E.
Termos.

Answer 1

Resposta:

resposta correta é letra "d".