Sunteți pe pagina 1din 17

Clculo Proposicional Lgica - Definio

Formalizao de alguma linguagem


Nesta aula so
Sintaxe
introduzidos conceitos
bsicos sobre o Clculo Especificao precisa das expresses legais
Proposicional (CP) Semntica

O CP tambm
Significado das expresses
denominado Clculo de Deduo
Proposies ou Lgica Prov regras que preservam a semntica
Inteligncia Artificial de Proposies
Jos Augusto Baranauskas E-mail: augusto@usp.br
Departamento de Fsica e Matemtica FFCLRP-USP URL: http://dfm.fmrp.usp.br/~augusto
2

Programao Lgica Clculo Proposicional - CP


Prolog (Programming in Logic) Clculo Proposicional Lgica Proposicional
Prolog = clusulas + resoluo
Uso da lgica para representar conhecimento
Uso da inferncia para manipular o conhecimento Apenas enunciados declarativos so
permitidos
Forma Clausal

Excludassentenas exclamativas,
premissas
ou concluses
imperativas e interrogativas
condies inferncia
(resoluo)

3 4

Termo Proposio

usado para designar objetos uma sentena declarativa que pode assumir
os valores verdade (v) ou falso (f)
Exemplos:
Paula Exemplos:
Todo homem mortal
Um filme de terror Meu carro um fusca
Est chovendo
Tringulo retngulo

5 6

1
Proposio Atmica Proposio Composta

Sentena que no contm conectivos Sentena que contm um ou mais


(e, ou, se...ento, ...) conectivos (e, ou, se...ento, ...)

Todo homem mortal Se Maria estuda ento far bons exames


Meu carro um fusca Elecome e dorme
Est chovendo Pedro dana ou canta

7 8

Proposio - Cuidado! Conceitos Adicionais

As expresses: Proposio atmica tomo


Est chovendo? Proposies atmicas so designadas por
letras latinas minsculas (p, q, r, ...)
A viagem entre Ribeiro Preto e Guaruj Literal um tomo ou a negao de um
tomo
Conectivos ou Operadores: permitem a
no so sentenas do CP pois
construo de proposies compostas
no possuem um valor verdade
verdadeiro (v) ou falso (f) associado
9 10

Conectivos Conectivo: e ()

Conectivos ou Operadores: A partir de duas proposies, obtm-se uma


e (conjuno) terceira denominada conjuno:
ou (disjuno) Exemplo:

no (negao) (p) Maria estuda o problema


(q) Jos vai pescar
condicional (implicao)
Conjuno de (p) e (q): p q
bicondicional Maria estuda o problema e Jos vai pescar

11 12

2
Conectivo: ou () Conectivo: no ()

A partir de duas proposies, obtm-se uma A partir de uma proposio, obtm-se uma
terceira denominada disjuno: segunda denominada negao:
Exemplo: Assim, a negao nega o valor-verdade de
(p) Maria estuda o problema uma proposio
(q) Jos vai pescar Exemplo:
Disjuno de (p) e (q): p q (p) Maria estuda o problema
Maria estuda o problema ou Jos vai pescar Negao de (p): p
no (Maria estuda o problema)

13 14

Conectivo: condicional () Conectivo: bicondicional ()


Conectivo condicional lido como se...ento Conectivo bicondicional lido como se e
A partir de duas proposies, obtm-se uma somente se
terceira denominada condicional ou implicao
Proposio esquerda de denomina-se
A partir de duas proposies, obtm-se uma
premissa ou antecedente terceira denominada bicondicional
Proposio direita de denomina-se concluso Exemplo:
ou conseqente
(p) Um tringulo retngulo
Exemplo:
(p) Eu como muito (q) Um tringulo tem um ngulo reto
(q) Eu engordo Bicondicional de (p) e (q): p q
Condicional de (p) e (q): p q Um tringulo retngulo se e somente se tem um
Se eu como muito ento eu engordo ngulo reto

15 16

Semntica dos Conectivos Simbolizao


Processo de substituio de frases em linguagem natural
p q pq pq p pq pq para letras proposicionais e conectivos lgicos
Ex: Se chove ento Maria Anglica estuda o problema e se no faz
frio Ana Laura est nadando
v v v v f v v p: Maria Anglica estuda o problema
q: Ana Laura est nadando
r: chove
v f f v f f f s: faz frio
Encontrar conectivos:
(Se chove ento Maria Anglica estuda o problema) e
f v f v v v f (se (no faz frio) ento Ana Laura est nadando)
Substituir frases e conectivos:
(r p) (s q)
f f f f v v v
17 18

3
Frmulas Bem Formadas (wff
(wff)) Frmulas Bem Formadas (wff
(wff))
Frmulas construdas mediante a 1. um tomo uma wff
combinao vlida de smbolos 2. se e so wff, ento so tambm wff:

Frmulas Bem Formadas = Well Formed wff l-se


Formula = wff no
e
Para representar wff so usadas meta-
ou
variveis proposicionais representadas pelas se ento
letras , , , etc se e somente se
Cada expresso envolvendo , , , etc 3. As nicas wff so definidas por (1) e (2)
chamada de forma sentencial
19 20

Prioridade dos Conectivos Prioridade dos Conectivos

maior prioridade



menor prioridade

21 22

Prioridade dos Conectivos Variaes de Notao

Exemplos: Item Adotada Outras


significa ( ) e pq p&q p.q p,q
significa ( )
ou pq p|q p+q p;q
significa (( ()) )
no p ~p p
A precedncia pode ser alterada pelo uso de
condicional pq pq pq qp
parnteses
bicondicional pq pq

23 24

4
Semntica do CP Validade e Inconsistncia

Consiste na interpretao de suas frmulas, Se uma frmula tem


p q pq
ou seja, atribuio dos valores-verdade (v valor v numa
ou f) s formulas atmicas, por exemplo: interpretao I, ento
verdadeira na I1 v v v
(p v q) (p q) interpretao I
Como a frmula possui 2 componentes Por exemplo, a frmula I2 v f f
atmicos ela admite 22 interpretaes (p q) verdadeira na
interpretao I1 I3 f v f
Para uma frmula de n componentes tem-
se 2n interpretaes
I4 f f f

25 26

Validade e Inconsistncia Validade e Inconsistncia


Se uma frmula Uma frmula
p q pq p p p p
verdadeira segundo vlida (tautolgica)
alguma interpretao, quando for verdadeira
ento satisfatvel I1 v v v em todas suas I1 v f v
(ou consistente) interpretaes
Por exemplo, a frmula I2 v f f Por exemplo, a frmula I2 f v v
(p q) satisfatvel (p p) uma
pois verdadeira em I3 f v f tautologia
uma interpretao (I1)
I4 f f f

27 28

Validade e Inconsistncia Validade e Inconsistncia


Se uma frmula tem Uma frmula
p q pq p p p p
valor f numa insatisfatvel (ou
interpretao I, ento inconsistente ou
falsa na I1 v v v contradio) quando I1 v f f
interpretao I for falsa segundo todas
Por exemplo, a frmula I2 v f f interpretaes I2 f v f
(p q) falsa nas possveis
interpretaes I2, I3 e I3 f v f Por exemplo, a frmula
I4 (p p) insatisfatvel
I4 f f f

29 30

5
Validade e Inconsistncia Exerccios
Uma frmula Provar usando tabela verdade que:
p q pq
invlida quando for
falsa segundo alguma
interpretao I1 v v v 1. (p p) inconsistente e portanto invlida.
Por exemplo, a frmula 2. (p p) vlida e portanto consistente.
(p q) invlida pois I2 v f f
3. (p p) invlida, ainda que consistente.
falsa nas
interpretaes I2, I3 e I3 f v f
I4
I4 f f f

31 32

Conseqncia Lgica Conseqncia Lgica

Sejam , 1, 2, ..., n wff. Diz-se que Teorema: conseqncia lgica de 1, 2,


conseqncia lgica de 1, 2, ..., n se, e ..., n se e somente se:
somente se, para qualquer interpretao em 1 2 ... n uma tautologia
que 1, 2, ..., n forem simultaneamente Teorema: conseqncia lgica de 1, 2,
verdadeiras, tambm verdadeira. ..., n se e somente se:
Se conseqncia lgica de 1, 2, ... n,, 1 2 ... n uma contradio
diz-se que segue-se logicamente de 1, 2,
... n,.
Notao: 1, 2, ..., n
33 34

Prova Prova
conseqncia lgica de 1, 2, ..., n se e somente se conseqncia lgica de 1, 2, ..., n se e
1 2 ... n uma tautologia somente se 1 2 ... n uma
Condio Necessria contradio
Seja conseqncia lgica de 1, 2, ..., n e I uma interpretao
qualquer Do teorema anterior, sabe que conseqncia
(1) Se 1, 2, ..., n forem verdade em I ento tambm ser verdade em lgica de 1, 2, ..., n se e somente se 1 2 ...
I (pois conseqncia lgica dos is)
(2) Se um dos is for falso em I 1 2 ... n vtambm ser falso em I.
n uma tautologia
Independente do valor de , 1 2 ... n verdade Equivalentemente conseqncia lgica de 1,
De (1) e (2) tem-se que 1 2 ... n verdade em 2, ..., n se e somente se (1 2 ... n )
qualquer situao (tautologia)
Condio Suficiente
contradio
Do fato de 1 2 ... n ser uma tautologia, tem-se que 1 (1 2 ... n )
2 ... n verdade em qualquer interpretao. Se 1 2 ((1 2 ... n) )
... n for verdade em I, tambm ser verdade em I. Portanto
conseqncia lgica de 1, 2, ..., n 1 2 ... n
Assim, 1 2 ... n uma contradio
35 36

6
Equivalncia Lgica Exemplo

Uma frmula logicamente equivalente Provar que (p q) equivalente a (p q)


() a uma frmula quando for
conseqncia lgica de e for p q pq pq (pq) (pq)
conseqncia lgica de v v v v v
v f f f v
Assim, se e somente se uma
tautologia f v v v v
f f v v v

Portanto, (p q) (p q)

37 38

Argumento Argumento Vlido

Argumento uma sequncia 1, 2, ..., n Um argumento 1, 2, ..., n-1 n vlido


(n 1) de proposies, onde: se e somente se:
i (1 i n-1) so chamadas premissas e 1 2 ... n-1 n for uma tautologia
n denomina-se concluso
Notao: ou equivalentemente,
1, 2, ..., n-1 n.
1 2 ... n-1 n

39 40

Argumento Vlido Princpio da Substituio

Umargumento vlido (1, 2, ..., n-1 n ) Subfrmulas: dada a frmula


pode ser lido como: : (p q) r, ento
1, 2, ..., n-1 acarretam n ou p q, p, q, r, so as subfrmulas de
n decorre de 1, 2, ..., n-1 ou O princpio afirma que uma subfrmula de
n conseqncia lgica de 1, 2, ..., n-1 uma frmula , ou toda a frmula , pode
Para
n=1, o argumento vlido se e ser substituda por uma frmula equivalente
somente se 1 for tautolgica e que a frmula resultante equivalente a

41 42

7
Princpio da Substituio Propriedades

Exemplo: pelo princpio da substituio, a Existem vrias propriedades da negao,


frmula conjuno e disjuno
: (p v q) (p v r) Estas propriedades podem ser verificadas
como equivalncias lgicas
equivalente a: Para demonstrar cada uma, basta utilizar as
tabelas-verdade, constatando a tautologia
: (p q) (p r)

43 44

Propriedades Propriedades
Propriedades da Conjuno Propriedades da Disjuno Distributiva
comutativa comutativa ( ) ( ) ( )
( ) ( ) ( )
associativa associativa Negao
( ) ( ) ( ) ( ) ()
idempotente idempotente Absoro
( )
propriedade de (v)erdade propriedade de (v)erdade ( )
v vv De Morgan
propriedade de (f)also propriedade de (f)also ( )
ff f ( )
Equivalncia da Implicao

45 46

Frmulas Proposicionais Equivalentes Frmulas Proposicionais Equivalentes

Nome da Regra Regra


modus ponens , |=
Exemplo da forma de leitura modus ponens:
modus tollens , |=
silogismo hipottico ou regra da cadeia , |=
, |=
silogismo disjuntivo , |=
dilema construtivo , , |=
dilema destrutivo , , |=
simplificao |=
caso seja verdade
conjuno , |= e seja verdade,
adio |=
contraposio |= obrigatoriamente ser verdade
exportao ( ) |= ( )
importao ( ) |= ( )

47 48

8
Verificao de Validade de
Exemplo
Argumentos
Se as uvas caem, ento a raposa as come.
Sejam 1, 2, ..., n, frmulas do Clculo
Proposicional. Uma seqncia finita de Se a raposa as come, ento esto maduras.
proposies C1, C2, ..., Ck uma prova ou deduo As uvas esto verdes ou caem.
de , a partir das premissas 1, 2, ..., n se e Logo,
somente se: A raposa come as uvas se e s se as uvas caem.
cada Ci uma premissa j (1 <= j <= n), ou
Ci provm das frmulas precedentes, pelo uso de um
argumento vlido das regras de inferncia, ou
Ci provm do uso do princpio de substituio numa
frmula anterior, ou
Ck
Diz-se ento que dedutvel de 1, 2, ..., n ou
que um teorema

49 50

Exemplo Exemplo
1: Se as uvas caem, ento a raposa as come. 1: Se as uvas caem, ento a raposa as come. Proposies:
2: Se a raposa as come, ento esto maduras. 2: Se a raposa as come, ento esto maduras. p: as uvas caem
3: As uvas esto verdes ou caem. 3: As uvas esto verdes ou caem. q: a raposa come as uvas

Logo, Logo, r: as uvas esto maduras


(r: as uvas esto verdes)
: A raposa come as uvas se e s se as uvas caem. : A raposa come as uvas se e s se as uvas caem.

51 52

Exemplo Exemplo
1: Se as uvas caem, ento a raposa as come. Proposies: 1: Se as uvas caem, ento a raposa as come. Proposies:
2: Se a raposa as come, ento esto maduras. p: as uvas caem 2: Se a raposa as come, ento esto maduras. p: as uvas caem
3: As uvas esto verdes ou caem. q: a raposa come as uvas 3: As uvas esto verdes ou caem. q: a raposa come as uvas

Logo, r: as uvas esto maduras Logo, r: as uvas esto maduras


(r: as uvas esto verdes) (r: as uvas esto verdes)
: A raposa come as uvas se e s se as uvas caem. : A raposa come as uvas se e s se as uvas caem.

Premissas Concluso Premissas Concluso Deduz-se que:


1: p q : pq 1: p q : pq
C1: rp (3: equivalncia)
2: q r 2: q r
3: r p 3: r p C2: qp (2 + C1: regra da cadeia)

Provar que: Provar que: C3: (p q) (q p) (1 + C2: conjuno)


1, 2, 3 |= 1, 2, 3 |=
p q, q r, r p |= p q p q, q r, r p |= p q C4(): p q (C3: equivalncia)

53 54

9
Cuidado! Formas Normais
Sejam dois nmeros a e b tais que a = b Hvrias maneiras de escrever uma mesma
Considere a seguinte prova
Por qu foi possvel chegar a esse resultado?
frmula
i) a = b
Ex: (p q) m (p q) m
ii) aa = ba multiplicar por a A Forma Normal usada para uniformizar a
iii) a2 - b2 = ba - b2 subtrair b2 notao
iv) (a + b)(a - b) = b(a - b) fatorar
v) [(a + b)(a - b)] / (a -b) = [b(a - b)] / (a - b) dividir por (a - b)
Forma Normal Disjuntiva (FND)
vi) a+b = b Forma Normal Conjuntiva (FNC)
vii) a+a = a substituir b por a (a = b) Umenunciado do Clculo Proposicional
viii) 2a = a dividir por a
ix) 2 = 1
sempre pode ser escrito na FN
55 56

Forma Normal Disjuntiva Forma Normal Disjuntiva

Uma frmula proposicional est na A frmula est na FND se e somente


FND quando se:
uma disjuno 1 2 ... n, (n 1) contm como conectivos apenas , ,
cada i (1 i n) uma conjuno de s opera sobre proposies atmicas
literais, ou um literal, ou seja: (no tem alcance sobre , )
i da forma p1p2 ... pm, (m 1) no aparecem negaes sucessivas ( )
no tem alcance sobre , ou seja, no
existe expresso do tipo: p (q r)

57 58

Forma Normal Disjuntiva Forma Normal Conjuntiva


Forma geral
Uma frmula proposicional est
(p1 p2 ... pk) (q1 q2 ... ql) (r1 r2
r3 ... rs) ... na FNC quando:
Exemplo uma conjuno 1 2 ... n,
: p q r (n 1)
FND(): (p q) r cada i (1 i n) uma disjuno de
Obteno da FND: por tabela verdade ou literais, ou um literal, ou seja:
por equivalncia
i da forma p1p2 ... pm, (m 1)

59 60

10
Forma Normal Conjuntiva Forma Normal Conjuntiva
Forma geral
A frmula est na FNC se e somente
(p1 p2 ... pk) (q1 q2 ... ql) (r1 r2 r3 ...
se: rs) ...
contm como conectivos apenas , , Exemplo
s opera sobre proposies atmicas : p q r
FNC(): (p q r) (p q r) (p q r)
(no tem alcance sobre e )
fcil mostrar que uma FNC tautolgica se e
no aparecem negaes sucessivas ( ) somente se cada elemento da conjuno
no tem alcance sobre , ou seja, no tautolgico
existe expresso do tipo: p (q r) Obteno da FNC: por tabela verdade ou por
equivalncia
61 62

Obteno da FNC por Tabela Obteno da FNC por Tabela


Verdade Verdade
Exemplo: p q r
Exemplo: p q r

p q r p pq (pq)r
p q r p pq (pq)r
I2 v v f f v f (p q r)
I1 v v v f v v
I6 f v f v v f (p q r)
I2 v v f f v f I8 f f f v v f (p q r)
I3 v f v f f v Para cada interpretao falsa da Tabela Verdade:
I4 v f f f f v tomo que assume valor v alterado pela sua negao
I5 f v v v v v tomo que assume valor f deixado intacto
Literais de uma mesma interpretao so conectados
I6 f v f v v f por
I7 f f v v v v As interpretaes so conectadas por
I8 f f f v v f No exemplo
FNC(p q r): (p q r) (p q r) (p q r)
63 64

Obteno da FNC por Equivalncia Exerccio


1. Repetidamente, usar as equivalncias, para
eliminar os conectivos lgicos e : Obter a FNC das frmulas:
( ) ( ) a) (p q) (p r)

b) (p q) (p r)
2. Repetidamente, eliminar as negaes, utilizando:
() i) Usando equivalncia
( ) ( ) ii) Usando tabela verdade
( ) ( )
3. Repetidamente, aplicar a lei distributiva:
( ) ( ) ( )
( ) ( ) ( )
65 66

11
Soluo (Equivalncia) Soluo (Tabela Verdade)
p q r p pq pr pr (pq)(pr) (pq)(pr)
(p q) (p r)
v v v f v v f f v
(p q) (p r)
(p q) (p r) v v f f v f f f f
(p q p) (p q r) v f v f f v f v v
(p q) (p q r) v f f f f f f v v
FNC((p q) (p r)): (p q) (p q r) f v v v f f v v v
(p q) (p r) f v f v f f f v v
(p q) (p r) f f v v f f v v v
(p q) (p r) f f f v f f f v v
(p q p) (p q r)
(p q r) FNC((p q) (p r)): (p q r) (p q r)
FNC((p q) (p r)): (p q r)
FNC((p q) (p r)): (p q r)

67 68

Notao Clausal Notao Clausal


Exemplo
Clusula: disjuno de literais:
Fi = L1 L2 ... Lr FNC(((p q) (p r)) s):
Frmula na FNC: escrita como conjuno de clusulas: ((s q p) (s p r) (s q r))
F1 F2 ... Fn Pode-se escrever:
A FNC uma coleo de clusulas, porque a conjuno FNC(((p q) (p r)) s): F1 F2 F3
tem propriedade associativa. Por isso, pode-se escrever
uma frmula na forma: onde
{F1, F2, ... Fn} F1 F2 ... Fn F1: (sqp), F2: (spr), F3: (sqr)
A disjuno tambm tem a propriedade associativa, e por

isso, tambm podemos escrever uma clusula Fi na forma:


que pode ser representado por F = {F1, F2, F3},
onde a conjuno est implcita
Fi = {L1, L2, ..., Ln} L1 L2 ... Ln

69 70

Notao Clausal Notao de Kowalsky


A separao de literais positivos e negativos
uma conveno escrever uma frmula aps a
prepara a clusula para a notao definida por
outra, lembrando que esto conectadas por
Kowalsky:
F1: (s q p)
FNC FNC Kowalsky CP
F2: (s p r)
F3: (s q r) F1: s p q F1: s, p q F1: q s p
Colocando os literais positivos antes dos F2: s p r F2: s p, r F2: p r s
negativos F3: s q r F3: s q, r F3: q r s
F1: (s p q)
F2: (s p r) Observar que todas as notaes so equivalentes
F3: (s q r)
71 72

12
Notao de Kowalsky Notao de Kowalsky
Huma disjuno () implcita esquerda de , So equivalentes as seguintes notaes:
chamada de concluso(es)
(1) B1, B2, ..., Bn A1, A2, ..., Am
(2) A1, A2, ..., Am B1, B2, ..., Bn
F1: s, p q
(3) A1 A2 ... Am B1 B2 ... Bn
F2: s p, r
(4) A1 A2 ... Am (B1 B2 ... Bn)
F3: s q, r
(5) A1 A2 ... Am B1 B2 ... Bn
Huma conjuno () implcita direita de , A clusula (2) uma clusula genrica na
chamada de premissa(s) ou condio(es) notao de Kowalsky

73 74

Clusulas de Horn Clusulas de Horn


Dependendo do nmero de literais, tem-se:
Kowalski mostrou que uma clusula de Horn
1. Se m>1, as concluses so indefinidas, ou do tipo
seja, h vrias concluses A B1, B2, ..., Bn
2. Se m1, tem-se as Clusulas de Horn pode ser executada numa linguagem de
m=1 e n > 0, (A B1, B2, ..., Bn) chamada clusula programao recursiva, onde A a cabea do
definida, onde s existe uma soluo
procedimento e os Bis o seu corpo
m=1 e n=0, (A ) a clusula indefinida incondicional,
ou fato. Neste caso, o smbolo abandonado A B1, B2, ..., Bn pode ser lido como:
m=0 e n>0, ( B1, B2, ..., Bn) a negao pura de B1, para resolver (executar) A, resolva (execute) B1
B2, ..., Bn e B2 e ... e Bn
m=0 e n=0, ( ) a clusula vazia, denotada por []
75 76

Clusulas de Horn Clusulas de Horn

Em Prolog As nicas clusulas que podem ser


A B1, B2, ..., Bn representado como representadas em Prolog so as Clusulas
A :- B1, B2, ..., Bn. de Horn
:- chamado neck Se um determinado conhecimento puder ser

Pode-se ler A :- B1, B2, ..., Bn. da seguinte expresso mediante o clculo proposicional,
forma somente a parte formada por clusulas de
A verdade se B1 verdade e B2 verdade e ... Horn poder ser representada em Prolog
e Bn verdade Ou seja, um sub-conjunto do clculo
proposicional

77 78

13
Exerccio Prova por Resoluo

Mostre que as frmulas seguintes so O mtodo da Resoluo utiliza uma frmula na


equivalentes: FNC para realizar inferncias
O mtodo da Resoluo facilmente automatizado
(i) b1, b2, b3, b4 a1, a2, a3
para ser realizado por um computador
(ii) a1, a2, a3 b1, b2, b3, b4 um mtodo de resoluo geral, que emprega
(iii) a1 a2 a3 b1 b2 b3 b4 apenas uma regra de inferncia
(iv) a1 a2 a3 (b1 b2 b3 b4) Podem ser aplicadas a wwf que consistem de uma
disjuno de literais: as clusulas
(v) a1 a2 a3 b1 b2 b3 b4
O processo de resoluo aplicado a um par de
clusulas e resulta em uma clusula derivada
79 80

Prova por Resoluo Prova por Resoluo

Pr-requisito: 2 clusulas pais Regra de Resoluo:


um literal p em uma das clusulas pai (P1) de pq
um literal p na outra clusula pai (P2) e r q
nova clusula chamada resolvente (R) deduz-se pr
contendo todos os literais de P1 e P2, exceto p Esta regra permite combinar duas frmulas
P1: p ou mais-literais por meio da eliminao de tomos
P2: p ou ainda-mais-literais complementares
R: mais-literais ou ainda-mais-literais No exemplo, eliminou-se os tomos q e q

81 82

Prova por Resoluo Prova por Resoluo

Regra de Resoluo: Regra de Resoluo:


de pq clusulas de pq
e r q pais e r q
clusula
deduz-se pr deduz-se pr resolvente
Esta regra permite combinar duas frmulas Esta regra permite combinar duas frmulas
por meio da eliminao de tomos por meio da eliminao de tomos
complementares complementares
No exemplo, eliminou-se os tomos q e q No exemplo, eliminou-se os tomos q e q

83 84

14
Exerccio 1 Soluo Exerccio 1

Qual a clusula resolvente das seguintes Qual a clusula resolvente das seguintes
clusulas pais? clusulas pais?
P1) (p s q) P1) (p s q)
P2) (p q r) P2) (p q r)

R) (p s r)

85 86

Exerccio 2 Soluo Exerccio 2

Qual a clusula resolvente das seguintes Qual a clusula resolvente das seguintes
clusulas pais? clusulas pais?
P1) (p s q) P1) (p s q)
P2) (p q r) P2) (p q r)

R) (p s p r) v

87 88

Procedimento da Resoluo Procedimento da Resoluo


Usa-se reduo ao absurdo, negando a concluso: 2. Cada premissa agora uma conjuno de uma ou
1. Achar, para cada premissa e para cada concluso mais clusulas em uma linha diferente (cada uma
negada (adotada como premissa), a FNC delas v, uma vez que a conjuno de todas v)
correspondente, da seguinte maneira:
Remover e : 3. Cada clusula contm uma disjuno de um ou
( ) ( ) mais literais; esto na forma correta para se aplicar
a resoluo. Procurar ento por duas clusulas
Aplicar De Morgan: que contenham o mesmo tomo, com sinais
( )
opostos, por exemplo, uma clusula com p e outra
( )
Usar distributiva clusula contendo p, eliminando ambos
( ) ( ) ( )

89 90

15
Procedimento da Resoluo Exemplos do Uso de Resoluo
4. Continuar este processo at que se tenha A seguir so mostrados dois exemplos
derivado p e p. Ao se aplicar resoluo nestas usando prova por reduo ao absurdo
duas clusulas, obtm-se a clusula vazia,
Por meio da negao da tese
denotada por , o que expressa a contradio,
completando ento o mtodo de reduo ao Por meio da negao do teorema
absurdo:
p, p deduz-se falso
Pode-se tambm usar a resoluo mediante a
negao do teorema. Neste caso aplicam-se os
mesmos passos anteriores

91 92

Negao da Tese Negao da Tese


Para provar que r s Converter premissas Deduzir a clusula
para FNC, escrevendo vazia por resoluo
conseqncia lgica de pq, pr, qs em linhas separadas: (f) p de (d) e (b)
deve-se mostrar que (a) p q (g) q de (f) e (a)
((p q) (p r) (q s)) (r s) (h) q de (e) e (c)
(b) p r
uma tautologia (teorema) (i) de (g) e (h)
(c) q s
Negar a concluso e
a clusula gerada
convert-la para FNC:
pela contradio de
(r s) r s
duas clusulas na
(d) r
forma: q q
(e) s
93 94

Negao do Teorema Negao do Teorema


Para provar a regra da cadeia: O passo bsico do mtodo de resoluo ocorre
quando existem duas clusulas tais que uma
(p q) (q r) (p r) proposio p ocorre em uma delas e p ocorre na
A negao do teorema : outra
((p q) (q r) (p r)) p q q r p r

A FNC do teorema negado :


(p q) (q r) p r p r

95 96

16
Resoluo: Vantagens Propriedades do CP
No necessrio o uso de equivalncias para Embora seja insuficiente para o formalismo do
rearranjar p q como q p raciocnio lgico, o CP possui propriedades muito
importantes:
Tudo colocado na FNC antes da aplicao do mtodo
O sistema consistente:
Para o mtodo, a posio (na clusula) do tomo a ser No possvel derivar simultaneamente uma frmula e sua
eliminado indiferente negao
Existe apenas uma regra de inferncia para ser O sistema correto ou coerente:
Todo teorema uma tautologia
lembrada
Completude
Fcil de ser mecanizado Toda tautologia um teorema
Linguagem Prolog est baseada no princpio da Decidibilidade
H um algoritmo que permite verificar se uma dada frmula do
resoluo aplicado a clusulas de Horn
sistema ou no um teorema
Usando Busca em Profundidade
97 98

Exerccio

Aplique resoluo a cada situao seguinte Slides baseados em:


e verifique o que pode ser inferido
a) Scrates homem. Se Scrates homem Monard, M.C., Nicoletti, M.C., Noguchi.R.H.,
O Clculo Proposicional: Uma abordagem voltada
ento ele mortal. compreenso da linguagem Prolog,
b) s (r s) Notas Didticas do ICMC-USP, 1992
(http://labic.icmc.usp.br/didatico/pdf/Cproposicional_pdf.zip)

Material elaborado por


Jos Augusto Baranauskas
Reviso 2007

99 100

17

S-ar putea să vă placă și