Flashcard FC511842
O que a Lógica de Primeira Ordem adiciona à Lógica Proposicional?
Lógica de Primeira Ordem
IBFC · 2024
O que a Lógica de Primeira Ordem adiciona à Lógica Proposicional?
Mostrar resposta e comentário
Resposta
Predicados, variáveis e quantificadores (∀, ∃), que permitem falar sobre indivíduos no domínio.A lógica proposicional trata proposições atômicas como blocos indivisíveis, a lógica de primeira ordem permite analisar a estrutura interna das sentenças, usando predicados aplicados a variáveis, e quantificadores para afirmar que algo vale para todos ou para algum indivíduo.
Exemplo:
Afirmação: Existe um estudante que passou em todas as provas.
Formulação em LPO: \( \exists x\,(Estudante(x)\land \forall y\,(Prova(y)\rightarrow Passou(x,y))) \).
Em lógica proposicional só se teria átomos como P1 = "algum estudante passou na prova1", P2 = "algum estudante passou na prova2", sem forma de conectar que é o mesmo indivíduo em todas as provas.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509474
Conteúdo do catálogo FC Concursos · Atualizado em