Lógica de Primeira ordem

11008 palavras 45 páginas
Lógica de Primeira Ordem

1. Sintaxe

Introdução

A linguagem da lógica proposicional não é adequada para representar relações entre objetos. Por exemplo, se fôssemos usar uma linguagem proposicional para representar "João é pai de Maria e José é pai de João" usaríamos duas letras sentenciais diferentes para expressar idéias semelhantes (por exemplo, P para simbolizar "João é pai de Maria "e Q para simbolizar "José é pai de João" ) e não estaríamos captando com esta representação o fato de que as duas frases falam sobre a mesma relação de parentesco entre João e Maria e entre José e João. Outro exemplo do limite do poder de expressão da linguagem proposicional, é sua incapacidade de representar instâncias de um propriedade geral. Por exemplo, se quiséssemos representar em linguagem proposicional "Qualquer objeto é igual a si mesmo " e "3 é igual a 3", usaríamos letras sentenciais distintas para representar cada uma das frases, sem captar que a segunda frase é uma instância particular da primeira. Da mesma forma, se por algum processo de dedução chegássemos à conclusão que um indivíduo arbitrário de um universo tem uma certa propriedade, seria razoável querermos concluir que esta propriedade vale para qualquer indivíduo do universo. Porém, usando uma linguagem proposicional para expressar "um indivíduo arbitrário de um universo tem uma certa propriedade " e "esta propriedade vale para qualquer indivíduo do universo" usaríamos dois símbolos proposicionais distintos e não teríamos como concluir o segundo do primeiro.
A linguagem de primeira ordem vai captar relações entre indivíduos de um mesmo universo de discurso e a lógica de primeira ordem vai permitir concluir particularizações de uma propriedade geral dos indivíduos de um universo de discurso, assim como derivar generalizações a partir de fatos que valem para um indivíduo arbitrário do universo de discurso. Para ter tal poder de expressão, a linguagem de primeira ordem vai usar um arsenal de

Relacionados

  • Lógica de Primeira Ordem
    1569 palavras | 7 páginas
  • ex logica de primeira ordem
    1579 palavras | 7 páginas
  • 12121
    1829 palavras | 8 páginas
  • 00 exercicios enunciados
    5274 palavras | 22 páginas
  • Verdade Logica e verdade ontologica
    11577 palavras | 47 páginas
  • ATPS eletrônica
    1353 palavras | 6 páginas
  • ATPS C
    4237 palavras | 17 páginas
  • Logica de predicados
    2362 palavras | 10 páginas
  • ATPS Ia 1 2015 Reformulado
    1656 palavras | 7 páginas
  • Algoritimo
    552 palavras | 3 páginas