Você está na página 1de 27

LOGICA DE PRIMEIRA

ORDEM
Clculo dos Predicados
FUNDAMENTOS DA COMPUTACO
J.M.Barreto

Clculo dos Predicados


O Clculo das Proposies tem um poder de
representao limitado.
O Clculo das Proposies se utiliza apenas sentenas
completas, isto , as proposies para representar o
conhecimento sobre o Mundo usando constantes.
A Lgica dos Predicados, ou Clculo dos Predicados,
uma extenso da Lgica das Proposies em que se
consideram variveis e quantificadores sobre as
variveis.

J.M.Barreto

Clculo dos Predicados


O Clculo dos Predicados se preocupa em
introduzir noes lgicas para expressar
qualquer conjunto de fatos atravs de Classes
de Atributos e de Quantificadores.
O matemtico americano Alonzo Church e o
ingls Alan Turing, mostraram
independentemente, que no h procedimento
de deciso para checar a validade de frmulas
da Lgica dos Predicados.
J.M.Barreto

Clculo dos Predicados


CLASSE DE ATRIBUTOS: So representados pelos substantivos comuns, locues
nominais, adjetivos, locues adjetivas, verbos e locues verbais.
Exemplo:
Scrates um Homem.

SH

Todo Homem Mortal.

Todo H M

Logo, Scrates Mortal. S M

Este exemplo frequentemente apresentado como um silogismo de Aristteles.


Note-se que isto est completamente errado, Aristteles tendo trabalhado sempre
com variveis.

J.M.Barreto

Clculo dos Predicados


QUANTIFICADORES: So
operadores lgicos, mas em vez de
indicarem relaes entre sentenas,
eles expressam relaes entre
conjuntos designados pelas classes de
atributos, isto , expressam
propriedades de colees de objetos,
evitando que tenhamos de enumerar
cada objeto individualmente como na
Lgica Proposicional.
J.M.Barreto

Clculo dos Predicados


Sintaxe do Clculo de Predicados
<frmula>::= <frmula-atmica> | <frmula-complexa>
<frmula-atmica>::= <predicado>(<termo,...) | <termo>=<termo>
<termo>::=<funo>(<termo>,...) | <constante>| <varivel>
<frmula-complexa>::= (<frmula>)
| <frmula> <conectivo> <frmula >
| <frmula>
| <quantificador><variavl>... <frmula>
<conectivo>::= | | |
<quantificador>::= |
<constante>::=A | X1 | Joo | ...
<varivel>::= x | y | z | ...
<predicado>::= Antes | Irmo | Cor | Mortal | ...
<funo>::= Mede | PernaEsquerda | ...

J.M.Barreto

Clculo dos Predicados


Nota: A definio apresentada na pgina anterior
clssica, entretanto cabe ressaltar que possvel
usar:
<frmula-atmica>::= (<predicado><termo)
<termo>::=(<funo><termo>,...) | <constante>| <varivel>
<frmula-complexa>::= (<frmula>)
| (<conectivo> <frmula> <frmula >)
| ( <frmula>)
| (<quantificador><variavl>... <frmula>)

J.M.Barreto

Clculo dos Predicados


Quantificadores
A Lgica dos Predicados contm dois quantificadores, chamados UNIVERSAL e EXISTENCIAL.
QUANTIFICADOR UNIVERSAL ( ) Este tipo de quantificador formado pelas expresses para
todo, todo.
Exemplo:

Todo gato mamfero. Ou seja,


Qualquer que seja x, se x for um gato, ento x mamfero. Ou ainda,
Para todo x, se x for um gato, ento x mamfero.
x Gato(x) Mamfero(x)
Gato(Miau) Mamfero(Miau) ^
Gato(Felix) Mamfero(Felix) ^
Gato(Priscila) Mamfero(Priscila) ^
Gato(Ricardo) Mamfero(Ricardo) ^
...

J.M.Barreto

Lgicas dos Predicados


Quantificadores
QUANTIFICADOR EXISTENCIAL ( ) Este tipo de quantificador formado pelas expresses
algum, pelo menos um.
Exemplo:
Existe algum poltico honesto. Ou seja,
Para pelo menos um x, x um poltico e x honesto. Ou ainda,
x Poltico(x)^Honesto(x)
Poltico(Joo) ^ Honesto(Joo) V
Poltico(Jos) ^ Honesto(Jos) V
Poltico(Fulano) ^ Honesto(Fulano) V
Poltico(Siclano) ^ Honesto(Siclano) V
...

J.M.Barreto

Clculo dos Predicados


Quantificadores Aninhados
Eventualmente desejamos expressar sentenas mais complexas com mltiplos quantificadores.
Exemplos:
Para todo x e todo y, se x pai de y, ento y filho de x.
x,y
x,y Pai(x,y) Filho(y,x)
Bob ama Cathy.
Ama(Bob, Cathy)
Todo mundo ama Cathy.
x
x Ama(x, Cathy)
Todo mundo ama algum.
x
x y Ama(x,y)
Existe algum que ama a todos.
x y
y Ama(x,y)
Existe algum que amada por todos.
y x Ama(x,y)

A ordem dos quantificadores importante!

J.M.Barreto

Clculo dos Predicados


Igualdade ou Identidade
um smbolo que se adiciona ao lculo de Predicados com o
propsito de expressar o fato de dois termos se referirem ao mesmo
objeto, ou seja, idntico a ou a mesma coisa que.
Exemplos:
O Pai de Joo Henrique.
Pai_de(Joo)= Henrique
Pai de Joo e Henrique se referem ao mesmo objeto.
O Pai de Joo tambm Av de Pedro.
Pai_de(Joo) = Av_de(Pedro)

J.M.Barreto

Clculo dos Predicados


Equivalncia de Quantificadores
Os dois quantificadores esto intimamente relacionados entre si atravs da negao.
Exemplo:
Ningum gosta de pagar impostos.
x GostarPagar(x,Impostos) x GostarPagar(x,Impostos)

Como na verdade uma conjuno sobre o universo de objetos e o uma disjuno, no


surpreendente que eles obedeam as Lei de De Morgan.
x P xP
x P x P
xP x P
x P x P

J.M.Barreto

P ^ Q (P V Q)
(P ^ Q) P V Q
P ^ Q ( P V Q)
P V Q ( P ^ Q)

Clculo dos Predicados


Regras de Inferncia
Todas as regras de inferncia definidas na Lgica
Proposicional so vlidas para a Lgica de Predicados,
apenas referenciando-as para os quantificadores.

J.M.Barreto

Clculo dos Predicados


Regras de Inferncia envolvendo Quantificadores

J.M.Barreto

Clculo dos Predicados

J.M.Barreto

Clculo dos Predicados

J.M.Barreto

Clculo dos Predicados

J.M.Barreto

Clculo dos Predicados


rvores de Refutao
So uma generalizao da tcnica utilizada na Lgica Proposicional.
A tcnica de rvore de refutao generalizada incorpora as regras da lgica
proposicional e acrescenta 6 novas regras para inferir em sentenas que
contm quantificadores e o predicado de identidade.
Algumas rvores do clculo dos predicados empregam somente as regras do
clculo proposicional.
NO CLCULO DE PREDICADOS, AS RVORES DE REFUTAO NO
APRESENTAM UMA LISTA COMPLETA DE CONTRA-EXEMPLOS, MAS
SIM, UM MODELO DE UNIVERSO QUE CONTM EXATAMENTE OS
OBJETOS MENCIONADOS PELO NOME NO RAMO.

J.M.Barreto

Clculo dos Predicados


rvores de Refutao
x P(x) x G(x), x G(x)
1.
2.
3.

x P(x)

x P(x) x G(x)
x G(x)
x P(x)

4. x P(x) 1
5.
X 3,4

x G(x) 1

X 2,4

A rvore de refutao est COMPLETA,


isto , com todos os ramos fechados,
logo, a busca de uma refutao para o
argumento de negar a concluso falhou,
pois s encontrou CONTRADIES, e
portanto, a FORMA VLIDA.

J.M.Barreto

Clculo dos Predicados


Regras para rvore de Refutao do Clculo de Predicados
1. Quantificao Universal ( ):
Se uma frmula bem formada do tipo aparece num ramo aberto e se uma
constante (ou letra nominal) que ocorre numa fbf naquele ramo, ento ESCREVE-SE
/ (o resultado de se substituir todas as ocorrncias em por ) no final do ramo.
Se nehuma fbf contendo uma letra nominal aparece no ramo, ento escolhemos uma
letra nominal e ESCREVE-SE / no final do ramo.
Em cada caso, NO TICAMOS .

J.M.Barreto

Clculo dos Predicados


Regras para rvore de Refutao do Clculo de
Predicados
1.
2.
3.
4.
5.

x (P(x) G(x)), x P(x)


x (P(x) G(x))
x P(x)
G(a)
P(a) G(a) 1
P(a)
2

6. P(a) 4
7.
X 5,6

G(a)

G(a) 4

X 3,6

A rvore de refutao est COMPLETA,


isto , com todos os ramos fechados,
logo, a busca de uma refutao para o
argumento de negar a concluso falhou,
pois s encontrou CONTRADIES, e
portanto, a FORMA VLIDA.

J.M.Barreto

Clculo dos Predicados


Regras para rvore de Refutao do Clculo de
Predicados
2. Quantificao Existencial Negada ( ):
Se uma frmula bem formada no ticada da forma
aparece num ramo aberto, tica-se a frmula e ESCREVE-SE
no final de cada ramo aberto que contm a fbf ticada.
1.
2.
3.
4.
5.
6.

x (P(x) G(x)), G(x)


P(a)
x (P(x) G(x))
G(x)
P(a)
x G(x)
2
G(a)
4
A rvore de refutao est COMPLETA,
P(a) G(a) 1
isto , com todos os ramos fechados,

7. P(a) 6
8.
X 3,7

J.M.Barreto

G(a) 6

X 5,7

logo, a busca de uma refutao para o


argumento de negar a concluso falhou,
pois s encontrou CONTRADIES, e
portanto, a FORMA VLIDA.

Clculo dos Predicados


Regras para rvore de Refutao do Clculo de
Predicados
3. Quantificao Universal Negada ( ):
Se uma frmula bem formada no ticada da forma
aparece num ramo aberto, tica-se a frmula e ESCREVE-SE
no final de cada ramo aberto que contm a fbf ticada.
1.
2.
3.
4.
5.
6.
7.
8.
9.

x (y P(x,y))
x (y P(y,x))
x (y P(x,y))
x (y P(y,x))
y P(a,y)
1
x ( y P(y,x)) 2
y P(y,b)
4
y P(y,b)
5
P(a,b)
6
P(a,b)
3
X
7,8
A frmula testada vlida

J.M.Barreto

Clculo dos Predicados


Regras para rvore de Refutao do Clculo de Predicados
4. Quantificao Existencial ( ):
Se uma frmula bem formada no ticada da forma aparece num
ramo aberto, tica-se a frmula e escolhe-se uma letra nominal QUE
NO APARECEU NAQUELE RAMO e ESCREVE-SE / (o
resultado de se substituir todas as ocorrncias em por ) no final
do ramo.

1.
2.
3.
4.
5.

x P(x)
x P(x)
x P(x)
P(a)
x P(x)
P(b)

x P(x)

1
2
4

A frmula testada INVLIDA POR HAVER RAMOS ABERTOS (linha 5)

J.M.Barreto

Clculo dos Predicados


Regras para rvore de Refutao do Clculo de Predicados
5. Identidade (=):
Se uma frmula do tipo = aparece num ramo aberto e se uma outra fbf
contendo ou aparece no ticada naquele ramo, ento escrevemos no
final do ramo qualquer fbf que no esteja no ramo, que o resultado de se
substituir uma ou mais ocorrncias de qualquer uma dessas letras nominais
pela outra em .
No se tica = nem .

1.
2.
3.
4.
5.
6.

a=b
P(a,b) P(b,a)
a=b
(P(a,b) P(b,a))
(P(a,a) P(a,a)) 1,2 =
P(a,a)
3
P(a,a)
3
X
4,5
A frmula testada vlida

J.M.Barreto

Clculo dos Predicados


Regras para rvore de Refutao do Clculo de
Predicados
5. Identidade Negada ( =):
Fechamos qualquer ramo aberto no qual uma fbf do tipo
= ocorra.

1.
2.
3.
4.

a=b
a=b
b=a
a=a
X

b=a

1,2 =
3=

A frmula testada vlida

J.M.Barreto

Dvidas?

J.M.Barreto