logica computacional

24/09/13

A Sintaxe do Cálculo de Predicados
Lógica Computacional

Relembrando
• Calculo ou lógica proposicional estudamos o raciocínio proposicional; Ex: P: Carlos fala Inglês
Q: Carlos fala Francês

(P ^ Q)
Carlos fala Inglês e Francês.

• Verificando a sentença acima e relembrando o cálculo proposicional e sua estrutura sabemos que é limitado, não conseguimos expressar sentenças mais elementares que é importante para formarmos conjuntos relevantes de fatos mais sistemáticos.

Relembrando

Cálculo de Predicados

• Exemplo: Como iriamos tratar essas duas sentenças na logica proposicional:

• Linguagens Procedurais: Programas elaborados para
“DIZER”ao computador a tarefa que ele deve realizar;

• A = Todos são mortais;
• B = Alguém é bondoso;

• Essas duas sentenças seriam tratadas como unidades, não teríamos como decompo-lás em sentenças menores ligadas a conectivos lógicos;

• Linguagens Declarativas: Programas que reúnem uma série de dados e regras que usam para gerar conclusões; Essas linguagens declarativas inclui na suas estrutura: predicados, quantificadores, conectivos lógicos e regras de inferência;

1

24/09/13

Predicados

Cálculo de Predicados
• Exemplo:

•

Parte da sentença que fornece informações sobre um determinado sujeito;

•

Log.: Pode ser obtido removendo os substantivos proposição; Dic.:

de uma

• Cálculo de Predicados: É dotado de de uma linguagem mais rica e tem aplicações importantes não só na matemática e filosofia mas também na ciências de computação;

ü P: “ É um estudante da UNEOURO” ü Q: “ É um estudante no(a)”
• Neste exemplo P e Q são símbolos de predicados e que podemos reescrever com variáveis: ü P(x): “x é um estudante na Uneouro” ü Q(x,y): “x é um estudante na y”;
Onde: x e y são variáveis dos predicados
Chamamos de Cálculo de Predicados

Lógica de Predicados de
Primeira Ordem (LPP) - CQC
• CQC – Cálculo