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