Lógica, perguntado por lidianeolive, 11 meses atrás

Nas definições preliminares da Aula 5 é apresentado que “Outra limitação da lógica proposicional é a que essa linguagem tem baixo poder de expressão, pois é incapaz de representar instâncias de uma propriedade geral. Para sanar problemas deste tipo, surgiu então a lógica de predicados, que é uma extensão da lógica proposicional” (Aranha e Martins, 2003) Considerando o conteúdo ministrado na Aula 5, analise as alternativas sobre a lógica proposicional e marque (V) para as asserções verdadeiras e (F) para as asserções falsas. I.( ) A lógica de predicados é também conhecida na literatura como lógica de primeira ordem e/ou cálculo de predicados II.( ) Essa lógica possibilita captar relações entre indivíduos de um mesmo domínio e permite concluir particularidades de uma propriedade geral dos indivíduos de um domínio. III. ( ) Essa lógica também permite derivar generalizações com base em fatos que valem para um indivíduo qualquer do domínio Analise as alternativas e assinale a alternativa com a resposta CORRETA

Soluções para a tarefa

Respondido por juba89
4

Resposta:V,V,V

Explicação:A lógica de predicados é também conhecida na literatura como lógica de

primeira ordem ou cálculo de predicados. Essa lógica possibilita captar

relações entre indivíduos de um mesmo domínio e permite concluir

particularidades de uma propriedade geral dos indivíduos de um domínio, assim

como derivar generalizações com base em fatos que valem para um indivíduo

qualquer do domínio.

Respondido por vanessafonntoura
20

A ordem correta é a V, V,V.

A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposiciona (lógica sentencial) e que é estendida pela lógica de segunda ordem.

A lógica de primeira ordem tem poder expressivo suficiente para formalizar praticamente toda a matemática. Uma teoria de primeira ordem consiste em um conjunto de axiomas (geralmente finito ou recursivamente enumerável) e de sentenças dedutíveis a partir deles.

Espero ter ajudado.

Perguntas interessantes