UNIVERSIDADE ESTADUAL DO SUDOESTE DA BAHIA

LUIZ ALBERTO FREIRE GONÇALVES JÚNIOR

LÓGICA DE PREDICADOS

Vitória da Conquista
2014
LUIZ ALBERTO FREIRE GONÇALVES JÚNIOR

LÓGICA DE PREDICADOS

Trabalho apresentado ao Curso de Ciência da Computação da Universidade Estadual do Sudoeste da Bahia, como requisito total para obtenção da nota da terceira unidade da disciplina Lógica para Computação.

Vitória da Conquista
2014
Luiz Alberto Freire Gonçalves Júnior
1 INTRODUÇÃO

Na lógica matemática, A Lógica de Predicados é um termo genérico para a simbólica do sistema formal como lógica de primeira ordem, lógica de segunda ordem, many-sorted logic ou infinitary logic. Este sistema formal se distingue de outros sistemas em que suas fórmulas contém variáveis que podem ser quantificadas. Dois quantificadores comuns são: os quantificadores existencial ∃ ("existe um") e universal ∀ ("para todo"). As variáveis poderiam ser elementos no domínio do discurso, ou talvez as relações ou funções durante este universo. Por exemplo, um quantificador existencial sobre um símbolo de função poderia ser interpretado como um modificador "Existe uma função".
No uso informal, o termo "lógica de predicados" ocasionalmente se refere a lógica de primeira ordem. Alguns autores consideram que o cálculo de predicados seja a forma axiomática da lógica de