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.

Também podemos observar, como expomos abaixo, que existem vários tipos
de argumentos os quais, apesar de válidos, não é possível justificá-los com os
recursos do Cálculo Proposicional:

1. Todo amigo de Carlos é amigo de Jonas.

Pedro não é amigo de Jonas.
Logo, Pedro não é amigo de Carlos.

2. Todos os humanos são racionais.

Alguns animais são humanos.
Portanto, alguns animais são racionais.