Question

O cálculo de predicados, apresentado e definido no Tema 2 da Aula 5 como “uma extensão do cálculo proposicional que trata de predicados, ou proposições quantificadas” traz que a linguagem formal da lógica de predicados é mais expressiva que a da lógica proposicional, pois além dos símbolos (conectivos) lógicos ~, ^, v, -> e <->, as fórmulas bem-formadas (fbf) da lógica de predicados são compostas por:


De acordo com o conteúdo ministrado no Tema 2 da Aula 5, quais são os componentes das fórmulas bem-formadas (fbf) da lógica de predicados, além dos símbolos (conectivos) da lógica proposicional?

Analise as alternativas e assinale a alternativa com a resposta CORRETA

A Negação, Conjunção, Disjunção, Implicação e Bi-implicação
B Objetos, Predicados, Conectivos, Variáveis e Quantificadores
C Negação, Conjunção, Disjunção, Condicional e Bicondicional
D Não, E, Ou, Se..então e Se e somente se

Answer 1

Resposta:

B Objetos, Predicados, Conectivos, Variáveis e Quantificadores

Explicação:

A linguagem formal da lógica de predicados é mais expressiva que a da

lógica proposicional, pois além dos símbolos (conectivos) lógicos ~, ∧, ∨, →

e ↔, as fórmulas bem-formadas (fbf) da lógica de predicados são compostas

por:

• Objetos;

• Predicados;

• Conectivos;

• Variáveis;

• Quantificadores