lógica proposicional

Prévia do material em texto

NOÇÕES DE LÓGICA MATEMÁTICA 
 
O CÁLCULO DE PREDICADOS DE 1a ORDEM 
O Cálculo de Predicados, dotado de uma linguagem mais rica, tem várias 
aplicações importantes não só para matemáticos e filósofos como também 
para estudantes de Ciência da Computação. 
 
Podemos observar que nas linguagens de programação conhecidas como 
PROCEDURAIS (Pascal e outras) , os programas são elaborados para "dizer" 
ao computador a tarefa que deve ser realizada. Em outras linguagens de 
programação conhecidas como DECLARATIVAS, os programas reunem uma 
série de dados e regras e as usam para gerar conclusões. Estes programas são 
conhecidos como SISTEMAS ESPECIALISTAS ou SISTEMAS 
BASEADOS NO CONHECIMENTO que simulam em muitos casos a ação de 
um ser humano. Essas linguagens declarativas inclui predicados, 
quantificadores , conectivos lógicos e regras de inferência que, como veremos, 
fazem parte do Cálculo de Predicados.