Escolar Documentos
Profissional Documentos
Cultura Documentos
Concluso
A Lgica de Predicados pode ser vista como uma linguagem formal com
recursos para formalizar qualquer situao em teoria dos conjuntos, isto , funes,
relaes, e elementos de conjuntos. A noo de interpretao e satisfao na linguagem
de primeira ordem nos fornece uma ferramenta sofisticada e poderosa com a qual temos
condies de determinar precisamente o significado de qualquer objeto sinttico nesta
linguagem. Porm, no existe um mtodo efetivo que nos permita decidir sempre, e para
qualquer argumento do Clculo de Predicados, se tal argumento vlido ou no
vlido. Ento, pode ser que o Clculo de Predicados seja indecidvel. A indecidibilidade
do Clculo de Predicados pode ser provada e conhecida como "Tese de Church" .
Referncias Bibliogrficas
www.univasf.edu.br/~anderson.perez/ensino/logica
Silva,Fvio Soares Corra da. Lgica para computao, Thomson
Learning,2006.