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 expres...

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. Escolha uma opção: a. Variáveis. b. Fórmulas. c. Quantificador universal. d. Quantificador existencial. e. Termos.