Академический Документы
Профессиональный Документы
Культура Документы
Apontamentos
EdUfSCar
Conselho Editorial
A cartilha da lgica
So Carlos
EdUFSCar
2008
Coordenao Editorial
Luis Gustavo Sousa Sguissardi
Preparao e Reviso de Texto
Marina Venncio Grandolpho
Ingrid Pereira de Souza Favoretto
Editorao Eletrnica
Vtor Massola Gonzales Lopes
Impresso e Acabamento
Departamento de Produo Grfica da Universidade Federal de So Carlos
N643c
ISBN - 978-85-7600-117-1
Todos os direitos reservados. Nenhuma parte desta obra pode ser reproduzida ou transmitida por
qualquer forma e/ou quaisquer meios (eletrnicos ou mecnicos, incluindo fotocpia e gravao)
ou arquivada em qualquer sistema de dados sem permisso escrita da editora.
SUMRIO
PREFCI0 .............................................................................................................................................7
1. A LGICA PROPOSICIONAL ...........................................................................................................8
1.1 INTRODUO ........................................................................................................................................8
1.2 FRMULAS BEM-FORMADAS (WFF) E INTERPRETAO ................................................................ 10
1.3 VALIDADE E INCONSISTNCIA ...................................................................................................1.7
1.4 CONSEQNCIA LGICA E EQUIVALNCIA LGICA ....................................................................... 23
1.5 LGEBRA DA LGICA PROPOSICIONAL..................................-----~
1..6 FORMAS NORMAIS-----
33
PREFCIO
1. A LGICA PROPOSICIONAL
A Lgica Proposicional (ou Clculo Proposicional) um dos mais simples formalismos lgicos
existentes e pode ser considerada a formalizao de formas simples de raciocnio. Apesar de simples e sem recursos para a representao de muitos problemas/situaes do mundo real, ainda
assim a Lgica Proposicional, como ser visto, conveniente e poderosa o suficiente para lidar
com muitos problemas e formalizar precisamente a busca de suas solues. Este captulo aborda os
principais elementos da Lgica Proposicional, tendo como objetivo, alm de fornecer e discutir os
fundamentos da Lgica Proposicional, estabelecer a conceituao necessria para a compreenso
dos captulos que o seguem.
A Lgica Proposicional lida apenas com enunciados declarativos, chamados proposies. As
sentenas exclamativas, imperativas e interrogativas so, pois, excludas.
1.1 INTRODUO
Definio 1.1 Uma proposio uma sentena declarativa que pode assumir os valores'.' verdade v
A cartilha da lgica
Observao 1.1 importante mencionar que muitas sentenas comumente utilizadas no dia a
dia no so completamente verdade e tampouco so complemente falsas. Por exemplo, se um
programa computacional teve como sada um resultado inesperado, freqentemente no est claro
se o resultado foi efetivamente causado por um problema no programa ou se foi conseqncia de
problemas em programas subjacentes. A Lgica Proposicional, entretanto, lida apenas com proposies verdadeiras ou falsas; qualquer proposio que no se adequar a essa bivalncia no
considerada.
Observao 1.2 As proposies 1, 2 e 3 do Exemplo 1.1 so proposies atmicas (ou tomos),
uma vez que nelas no aparecem os conectivos e, ou, se .. ento e se e somente se, tratados a seguir. As proposies 4, 5, 6 e 7 so proposies compostas justamente porque nelas tais conectivos
aparecem. Toda proposio composta contm pelo menos um conectivo lgico.
Observao 1.3 A Lgica Proposicional lida apenas com proposies que tm valores-verdade v
ou f, isto , segue o princpio do terceiro excludo ou, equivalentemente, considerada uma lgica
bivalente. Qualquer proposio que no tenha o valor-verdade v necessariamente ter que ter o
valor-verdade f.
Observao 1.4 [Grassmann & Tremblay, 1996] Freqentemente sentenas em lngua natural (i.e.,
portugus, ingls, francs, espanhol, etc.) so ambguas uma vez que algumas palavras usadas
nas sentenas podem ter mais do que um significado. A especificao da linguagem lgica tem
como objetivo evitar essa ambigidade. Alm disso, os conectivos de muitas lnguas naturais refletem preocupao com causalidade, inteno, nfase, crenas e temporalidade. A palavra "se",
por exemplo, freqentemente implica algum tipo de causalidade. A lgica clssica, por outro lado,
apenas lida com verdade e falsidade, o que significa que a noo de causalidade no possvel de
ser expressa. Por essa razo, so introduzidos smbolos matemticos para representar os conectivos
da lgica. Esses smbolos podem ento ser definidos de maneira no ambgua.
Definio 1.2 O alfabeto da Lgica Proposicional constitudo por:
Smbolos de pontuao: ( )
Smbolos de verdade: verdade, falso
Smbolos proposicionais atmicos: p, q, r, s, t, u, ...
Conectivos lgicos:--,, /\, v,
~. H
1O
EdUFSCar -Apontamentos
x,
o, E, etc.
Pso wffs, ento as proposies compostas listadas na Tabela 1.1 tambm so wffs;
wff
lida como
(--a)
(a /\
(a v
p)
p)
no a
negao
p
a ou p
conjuno
ae
disjuno
(a ._
~)
se a ento
p)
a se e somente se
(a
wff chamada de
condicional
~
bicondicional
Observao 1.6 O operador --(no) um operador unrio, ou seja, aplicado a um nico operando.
Quando o operando em questo for um tomo (p, por exemplo), tanto o tomo quanto o tomo negado (ou seja, tanto p quanto --p), denominado literal. Os conectivos/\, v,
._e~
so conectivos
exp
A cartilha da lgica
( 1) pode significar (p
11
Portanto, a expresso p
',/:,,..
f,.Observao 1.8 importante enfatizar que a Definio 1.3 recursiva, ou seja, para que uma
'~frmula seja uma wff preciso que suas "partes" tambm sejam wffs. Na expresso (_,a), a con-
~),
o conectivo principal o /\ e a e
Pso chamados respectivamente de escopo esquerda e escopo direita da conjuno. Uma nomeao similar se aplica s expresses (a v
~), (a~ ~)
e (a
~ ~).
(a) Suponha que a frmula a seja ((p tt q) v (r /\ (-.s))) tt (-.p). O conectivo principal de a tt.
Seguindo as regras apresentadas na Tabela 1.1, para que a seja bem-formada, preciso mostrar
que ((p tt q) v (r /\ -.s)) e que (-.p) so bem-formadas. Para mostrar que ((p tt q) v (r /\ -.s)), cujo
conectivo principal v, bem-formada, preciso evidenciar que tanto (p tt q) quanto (r /\ -.s) so
bem-formadas.
Note que (p tt q) bem-formada uma vez que p bem-formada ( um tomo), q bem-formada
( um tomo) e a composio de duas frmulas bem-formadas, usando o conectivo tt bemformada (regra da Tabela 1.1 ).
Note que na frmula (r /\ (-,s)) a frmula r bem-formada, uma vez que um tomo e (...,.,s)
tambm bem-formada, uma vez que a negao de um tomo. Dado que ambas, tanto r quanto
(-.s), so bem-formadas, (r /\ (-.s)) bem-formada pois uma conjuno de duas frmulas bemformadas.
Como ambas, (p tt q) e (r /\ (-.s)), so bem-formadas, tambm o ser a disjuno dessas duas
frmulas, ((p tt q) v (r /\ (-.s))). Por outro lado, a frmula (-.p) bem-formada, pois a negao
12
EdUFSCar -Apontamentos
de um tomo. Dado que ambas so bem-formadas, a frmula composta de duas frmulas bemformadas por meio do uso do conectivo tt tambm bem-formada.
Cb) Suponha que a frmula a seja CCP
para a ser bem-formada, de acordo com a Tabela 1.1, ambas as frmulas, CP ~ q) e CP v ), precisam
ser bem-formadas.
A frmula
CP~
CP~
CP v ), tal frmula s seria provada ser bem-formada se o conectivo estivesse conectando duas
frmulas bem-formadas. No caso, uma das frmulas a frmula atmica p, que bem-formada.
No entanto, no existe a segunda outra frmula, o que caracteriza CP v) como no bem-formada
e, conseqentemente, a frmula a no bem-formada. Outros exemplos de frmulas no bernformadas:
CCp
~ ~
q)
s)
CCP ~ /\ q) s)
CCp
Definio 1.4 Seja a uma frmula da Lgica Proposicional. Uma subfrmula de a definida por:
1. a subfrmula de a;
2. se a: C.....,p) ento
p uma subfrmula de a;
CP/\ y), CP V
ento
y), CP~ y) ou CP t t y)
p e y so subfrmulas de a;
4. se a uma subfrmula de
subfrmula de
p.
Informalmente, urna subfrmula de urna frmula a uma parte de a que uma frmula Cde
acordo com a Definio 1.3).
Exemplo 1.4 Considere a frmula a: CP ~ q) t t r. As frmulas CP ~ q), p, q e r so todas subfrmulas de a.
Observao 1.9 Como pode ser evidenciado nas vrias referncias bibliogrficas ao final dessa
publicao, poucos autores usam expresses lgicas completamente parentizadas, dado que tais
expresses podem ser bastante longas e, freqentemente, so difceis de serem lidas. Os parntes
podem ser omitidos quando sua eliminao no introduzir ambigidade.
A cartilha da lgica
13
Particularmente, os parnteses externos de uma expresso lgica so, quase sempre, omitidos.
Por exemplo, ao invs de escrever (p v q) escreve-se p v q; ao invs de escrever ((p v q) H verdade) escreve-se (p v q) H verdade. Ao eliminar tais parnteses, no entanto, no deve ser esquecido
que eles devem voltar a ser introduzidos se a expresso em questo for composta com alguma outra
expresso.
Parnteses dentro de uma expresso tambm podem ser omitidos. A leitura da expresso resultante feita usando as chamadas regras de prioridade, que estabelecem uma hierarquia entre os
conectivos. A conveno que a maioria dos autores estabelece para os conectivos lgicos segue a
ordem decrescente de precedncia especificada na Tabela 1.2.
Tabela 1.2 Precedncia de conectivos lgicos.
~~~~-.-~~~~~
maior
menor
O conectivo-. tem sempre a maior precedncia. Por essa razo, a expresso lgica -.p v q deve
ser entendida como (-.p) v q e no como -.(p v q).
De acordo com a Tabela 1.2, na expresso p /\ q v r, o
o~.
r).
Em algumas expresses, entretanto, as regras de prioridade no so suficientes para remover todas as ambigidades. Por exemplo, a expresso p
ou como p
~.Todos
~
r.
sentenciai. Uma forma sentenciai uma especificao abstrata da sintaxe de um nmero infinito de
wffs compostas de smbolos que representam proposies atmicas. Uma wff que sintaticamente se
ajusta a uma forma sentenciai chamada de uma instncia de substituio da forma sentencia/.
Exemplo 1.5 A wff (p
formas sentenciais:
(q
14
EdUFSCar - Apontamentos
1. a, tal que a (p
(q
r)).
2. (a
3. (a
r).
p, f3 q e y r.
Definio 1.6 A semntica - ou significado - de uma wff o valor-verdade a ela associado por
meio de uma interpretao. Uma interpretao I na Lgica Proposicional uma funo cujo contradomnio possui apenas dois elementos, como mostra a Figura 1.1, tal que:
o domnio de I o conjunto das wffs da Lgica Proposicional;
o contradomnio de I o conjunto {v,f};
os smbolos de verdade do alfabeto, verdade e falso, so interpretados por 1 como
I[ verdade]
v e !(falso]
f;
{ v,f}.
Observao 1.10 A interpretao dos smbolos verdade fixa, ou seja, para qualquer interpretao 1,
I[ verdade] = v e I[falso] = f.
Definio l. 7 Seja y uma wff e considere uma interpretao I. O significado de y dado por 1, notado
por I[y ), determinado pelas regras:
1. Se y: p, tal que p um smbolo proposicional, ento I [y] = I[p] e l[p]
2. Se y: verdade ento l[y]
3. Seja
= v.
f.
= l[-,j3) =
I[y] = l[-,f3J
v se I[f3] = f
f se I[j3] = v
j3), ento
I[(a
I[y]
E { v,f}.
A cartilha da lgica
15
I[a] =v el[j3]=f
I[y] = I[(a" j3)] = f se I[a] =f el[j3]=v
{
I[a] =f el[j3]=f
5. Sejam a e j3 duas wffs. Se y: (a v j3), ento
I[a] =vel[j3]=v
I[y] = I[(a v j3)] = v se I[a] =vel[j3]=f
{
I[ a] =f e I[j3] =V
l[y] = I[(a v j3)] = f se I[a]
6. Sejam a e j3 duas wffs. Se y:
(a~
f e I[j3] = f
j3), ento
I[a] =V e I[j3] =V
I(y] =
I[(a~
I[y] = I[(a
~ j3)] = v
I[y] = I[(a
~ j3)] = f
se{I[a] =vel[j3]=v
I[ a] =f e I[j3] =f
se {I[a] =vel[j3]=f
I[ a] = f e I[j3] = v
~-.reuma
ou seja, I[a] = v.
Exemplo 1.7 Considere a frmula a: ((-,p) v q)
((-,r)
16
EdUFSCar -Apontamentos
-.p
-.r
-.s
(-.p) v q
(-.r) ~ (-.s)
ou seja, I[a] = f.
Definio 1.8 Dada uma wff a, a tabela-verdade de a mostra a semntica de a sob todas as possveis interpretaes; cada lnha da tabela associada a uma possvel interpretao. O nmero de
possveis interpretaes funo do nmero de tomos presentes em a. A tabela-verdade de uma
frmula a com n tomos tem 2 possveis interpretaes, ou seja, 2n linhas.
Exemplo J.8 Considere a frmula a: ((-.p) v q) ~ ((-.r)
de a. Note que a tem quatro tomos (p, q, r e s) e, portanto, sua tabela-verdade tem 24 = 16 possveis interpretaes.
Tabela 1.3 As 16 possveis interpretaes da expresso a : ((--,p) v q) ~ ((-.r) ~ (-.s)).
-.p
-.r
-,s
l,
12
13
14
15
16
17
18
19
110
I"
1,2
113
1,4
1,5
116
(-.p)
(-.r)
(-.s)
A cartilha da lgica
17
Note, na Tabela 1.3, que as 16 possveis interpretaes foram geradas sistematicamente, seguindo o padro adotado na literatura. A gerao sistemtica permite o controle e a fcil identificao
de uma particular interpretao. A interpretao l considerada no Exemplo 1.6 a interpretao
nomeada 13 na Tabela 1.3 .
A,
q e q ~ p tm diferentes valores-verdade em
---,p
--,q
p /\ q
pvq
p~q
p~q
l,
12
13
14
Definio 1.9
1. Se uma f nnula a tem valor v em uma certa interpretao l, diz-se que a verdadeira na
interpretao I.
2. Uma frmula a satisfatvel (ou consistente) se existe pelo menos uma interpretao l tal
que l[a]
v.
3. Uma frmula denominada vlida quando for verdadeira em todas as interpretaes possveis. Essas frmulas so conhecidas tambm como tautologias.
4. Se uma frmula a tem valor f em uma certa interpretao l , diz-se que a falsa na interpretao I.
5. Uma frmula a invlida se existe pelo menos uma interpretao I tal que I[a]
f.
6. Uma frmula a insatisfatvel (ou inconsistente) quando for falsa em todas as interpretaes possveis. Essas frmulas so conhecidas tambm como contradies.
18
EdUFSCar -Apontamentos
v.
interpretao 1 tal que l[a,] = l[a2] = I[a3] = ... = I[an] = v. Neste caso, 1 satisfaz o conjunto
de frmulas
c.
-4
(p vq)
(p /\ q)
11
12
13
14
uma frmula contingente, dado que no uma tautologia e tampouco uma contradio.
Exemplo 1.10 Considere a frmula~: (p /\ q /\ r)
-4
r.
P" q
(pAqAr)
I,
12
13
14
15
16
tomo~,
ela
A cartilha da lgica
19
p Aq
(p /\ q /\ r)
17
18
(p /\ --,q).
--,p
--,q
II
12
13
14
--,p q /\ --,q
a 2: ((-,p) /\ (--.q))
a3: ((-,q) /\ p)
O conjunto C no satisfatvel, pois, como pode ser visto na Tabela 1.8, no existe uma interpretao, entre as quatro possveis, que toma as quatro frmulas simultaneamente v.
Tabela 1.8 Conjunto C={a" a 2 , a 3 , a 4 }, tal que a, : (p
so satisfatveis.
--,p
--,q
II
12
13
14
20
EdUFSCar -Apontamentos
1: (p ~ q)
a 2 : (r v (---,q))
a 3 : (s v (--.r))
O conjunto C satisfatvel, pois, como pode ser visto na Tabela 1.9, existe uma interpretao {1 1)
que torna todas as quatro frmulas v.
Tabela 1.9 Conjunto C={a 1, a 2 , a 3 , a 4 }, tal que a 1 : (p----)- q), a 2 : (r v (--,q)), a 3 : (s v (--,r)) e a 4 : p so satis-
fatveis.
---,q
---,r
I,
12
13
14
15
16
17
18
19
I,o
111
1,2
113
114
115
116
Exemplo 1.14 A Tabela 1.10 evidencia que a wff (--,(p /\ q) v q) uma tautologia.
Tabela 1.10 Tabela-verdade da wff (--,(p
q) v q).
(p /\ q)
I,
12
---,(p /\ q) (---,(p /\ q)
q)
A cartilha da lgica
21
(p /\ q) -,(p /\ q) (-,(p /\ q)
13
14
q)
Exemplo 1.15 A frmula tautolgica (p v (P)) tem por tabela-verdade a Tabela 1.11. Essa frmula chamada de lei do meio excludo, que estabelece que ou p verdade ou falso e todo o resto
excludo. A Tabela 1.11 prova essa lei mostrando que interpretada v sob toda possvel inter-
pretao. Como a frmula tem apenas um tomo, o nmero de possveis interpretaes para essa
frmula apenas 2 1 = 2.
Tabela 1.11 Tabela-verdade da wff (p v (--,p)).
(-,p)
II
12
(p
(p))
Exemplo 1.16 Duas frmulas a 1: (falso~ p) e a 2 : (p~ verdade) so evidenciadas como tautologias
na Tabela 1.12.
Tabela 1.12 Tabela-verdade das wffs aJ.:
(falso~
p) e a,= ( p~ verdade).
(falso~
p)
(p~
verdade)
Observao J.12 Se a for uma tautologia que contm uma subfrmula j3, uma nova expresso
lgica a ' pode ser construda por meio da substituio de todas as ocorrncias de
~por
uma ex-
presso arbitrria. A expresso lgica resultante a' continua sendo uma tautologia. Considere a
wfftautolgica a: (p v (-,p)) do Exemplo 1.15 (Tabela 1.11). Considere a substituio de todas as
ocorrncias de p em a por qualquer wff arbitrria, por exemplo, (p
v (-,(p
a'
(p /\ q)
II
12
13
14
(P
q)
22
EdUFSCar -Apontamentos
Substituies semelhantes podem ser feitas em qualquer outra tautologia. Isso se deve ao fato
de que, na avaliao do valor-verdade de qualquer expresso, apenas o valor-verdade de suas
subexpresses imediatas tem efeito. O fato de o valor em questo ter sido obtido diretamente
pela interpretao ou por algum outro tipo de avaliao anterior irrelevante.
Definio 1.10 (O princpio de substituio) Se a for uma frmula tendo J3 como subfrmula, o
valor de a no muda se 13 for substituda por uma expresso que tenha os mesmos valores-verdade
que 13. Se a for uma tautologia, a permanece uma tautologia independentemente da interpretao
de J3 ser v ou f.
Exemplo 1.17 Considere a wff a: ((p v q) /\ (p v r)). Considere a subfrmula J3: (p v q) e considere
a frmula a': (({-,p) ~ q) /\ (p v r)) obtida pela substituio de 13 por uma frmula com os mesmos
valores que J3 em cada interpretao, no caso, a frmula 13 '= ( (-,p) ~ q). A Tabela 1.14 evidencia
que as frmulas a e a' tm o mesmo valor sob cada uma das oito interpretaes, evidenciando o
princpio de substituio.
Tabela 1.14 Tabela-verdade das wffs a e a', evidenciando o princpio da substituio.
-,p
(-,p)~q
(p vq)
II
I2
I3
I4
Is
I6
I7
Is
a'
(p
r)
Exemplo 1.18 O fato de a wff a: (-,(p /\ q) v q) ser tautolgica (ver Exemplo 1.14) permite dizer
que a wff a': (-,((p v q) /\ r) v q) tambm tautolgica, como evidenciado na Tabela 1.15. Observe que a forma sentenciai associada a ambas (-,(a 1 /\ a 2) v a 2). Na frmula a, a 1: p e a 2 : q. Na
frmula a', a 1: (p v q) e a 2:r.
Tabela 1.15 Tabela-verdade das wffs a e a', com a tautolgica e y:---, ((p v q) /\ r).
q) /\ r
a'
(pvq)
II
12
I3
(p
A cartilha da lgica
23
a'
(p vq)
14
15
16
17
18
(p
q) /\
Exemplo 1.19 Como pode ser comprovado na Tabela 1.16, a frmula (p v q) conseqncia lgica
da frmula p, ou seja, toda interpretao que torna p v, torna (p v q) v tambm. De maneira anloga,
pode-se dizer que (p v q) conseqncia lgica da frmula q, ou seja, toda interpretao que toma
q v, torna (p v q) v tambm.
t
q),
(p
q)
p: (r ~ s) e y: (p v r) ~ (q v s). Verificar se a, p
I= y, isto , se y conseqncia lgica de a e p. Para essa verificao, considere a Tabela 1.17, com
todas as 16 possveis interpretaes.
Tabela l.17 Evidenciando a conseqncia lgica (p
(p
q)
(r~
q), (r ~ s)
s)
(p
r)
1= (p v r) ~ (q v s).
s)
(p v r)
II
12
(q
(q v s)
+-
EdUFSCar-Apontamentos
24
(p
q)
(r~
(p
r)
(q
(p
r)
(q
13
14
15
16
17
18
19
110
111
112
I13
114
I,s
r16
s)
V S)
V S)
Note na Tabela 1.17 que, nas interpretaes nas quais ambas a e 13 so interpretadas v (ou seja,
interpretaes 11, I 3, 14 , 111 , 112 , I 13 , 115 e116' assinaladas na tabela com uma flecha), a frmula y tam-
bm interpretada v. Isto permite dizer que y uma conseqncia lgica de a e 13, ou seja, pode-s~
escrever a, 13
p no
conseqncia lgica da frmula y. Isso se deve ao fato de existirem interpretaes que tomam y v
e, nessas mesmas interpretaes, a /\
Definio 1.12 Diz-se que uma frmula a logicamente equivalente(=) a uma frmula 13 se e somente se a for conseqncia lgica de 13 e 13 for conseqncia lgica de a, isto :
a == 13 se e somente se a
!= 13 e 13 != a
mostrar que:
(1) (p ~ q)
!= (-.p v
(2) (-.p v q)
q).
q).
A cartilha da lgica
25
i= (--.p v q).
(p~
(--.p
--.p
q)
q)
II
I2
I3
I4
I3 e I 4 Note que nessas interpretaes a frmula (--.p v q) tambm interpretada v, o que permite
escrever (p
q)
i= (--,p v q).
q) tambm interpre-
i= (p ~ q).
-,p
II
I2
13
14
(--.p
q) (p
~q)
~
Como pode ser visto na Tabela 1.19, a frmula (-,p v q) interpretada v nas interpretaes 11,
13 e I 4. Note que nessas interpretaes a frmula (p ~ q) tambm interpretada v, o que permite
escrever que (--,p v q) i= (p ~ q). Considerando que (1) e (2) foram provadas, pode-se escrever que
(p
q):: (--,p
q).
Teorema 1.1 Dadas as frmulas 13 1, 13 2, 13 3,... , 13 0 e uma frmula a, diz-se que a conseqncia
lgica de 13 1, 132, j3 3,... , 130 se e somente se a frmula
13 1 /\ 13 2 /\ 13 3 /\
/\
13
Prova
(1) Sejam as frmulas 13 1, 13 2, 13 3, .. ., 130 e a e considere que a seja conseqncia lgica de 13 1, j3 2, 13 3,.. .,
130 Seja I uma interpretao qualquer. Duas situaes podem ocorrer:
(1.1)
se 13 1, 132'
/\
j3 3
/\ /\
13
~a
vem I,
dado que uma implicao sempre interpretada v se seu antecedente for interpretado f.
26
EdUFSCar -Apontamentos
J3 2 /\ J33 /\ /\ J3n ~ a
uma tautologia.
J3 1 /\ J3 2 /\ J3 3 /\ /\ J3n ~ a
vem qualquer interpretao. Para que isso acontea, se J3 1 /\ J3 2 /\ J3 3 /\ /\ J3n for vem 1, a tambm
deve servem 1, ou seja, a conseqncia lgica de J3 1, J3 2, J3 3 , , J3n.
(2) Do fato de
J3, /\ J3 2 /\ J3 3 /\ /\ J3n ~ a
1= (p ~ q)) s que,
q)
i= (-,p v
= (-,p v
q)
1= (-,p v
q) e
q)
q)
q)
(-,p v q)
2. (-,p v q)
(p
q)
-,p
q)
(-,p
(---,p v q).
q) (p
11
12
13
14
q)
-,p
11
12
13
14
q)
(p~q)
q)
q)
(p ~ q).
(-,p
(-,p
(-,p
q)
(p
Observao 1.13 A definio de frmulas equivalentes (Definio 1.12) pode ser reescrita considerando o estabelecido pelo Teorema 1.1. A Definio 1.12 estabelece que duas frmulas a e
equivalentes se ambas as conseqncias lgicas a
Considerando o Teorema 1.1, a
1= J3
1= J3 e J31= a
se e somente se a
J3 so
forem satisfeitas.
J3
J3 1= a
se e
somente se
(a
= J3) se e somente se a
A cartilha da lgica
Z1
q)
q)
--,p
q) B (-.p v q).
~
11
12
13
14
(p
q)
(--,p
q) (p
q)
(--,p
q)
P1 /\ P2 /\ P3 /\ ... /\ P
0
/\
Prova Sabe-se pelo Teorema 1. 1 que a frmula a conseqncia lgica das frmulas
P se e somente se p1 /\ p2 /\ p3 /\ ... /\ P ~ a for uma tautologia. Equivalentemente, a conseqncia lgica das frmulas p1, p2, P3, . .. , Pn se e somente se a negao de p1 /\ p2 /\ p3 /\ ... /\ P ~
0
-.(P1 /\ P2 /\
-,(-,(pi /\
ou seja, p1 /\
p2 /\ P3 /\ ... /\ P /\ -, a
0
uma contradio.
Observao 1.14 No Exemplo 1.22, o Teorema 1.1 foi usado para evidenciar conseqncia lgica
como parte do processo de verificao de equivalncia lgica. A seguir, o Teorema 1.2 usado com
o mesmo propsito, para a mesma equiva1ncia lgica. Tem-se, pois, que:
1. (p
q)
\= (-.p v
q) o que, pelo Teorema 1.2, significa mostrar que (p ----; q) /\ (--,(--,p v q))
2. (--,p v q)
\= (p ~ q) o que, pelo Teorema 1.2, significa mostrar que (-.p v q) /\ (-.(p ~ q))
28
EdUFSCar -Apontamentos
(p---+ q)
-,p
II
12
13
14
(-,p
q) -,(-,p
q)
-,p
I,
12
13
14
(-,p
q)).
(p---+ q)
-,(p---+ q)
q)
(-,p
Observao 1.15 Os dois metateoremas anteriores, Teorema 1.1 e Teorema 1.2, so muito importantes. Eles garantem que provar que uma frmula conseqncia lgica de um conjunto finito
de frmulas equivalente a provar que uma frmula relacionada uma tautologia ou contradio.
Para algumas estratgias de provas usa-se o Teorema 1.1, chamado de Teorema da Deduo ou de
Admisso de Premissas. Outra estratgia de prova, conhecida como Reduo ao Absurdo, estabelecida pelo Teorema 1.2.
Observao 1.16 importante deixar claro que os smbolos de conseqncia lgica(!=) e de equivalncia lgica(=) no so partes do conjunto de smbolos da Lgica Proposicional, mas sim parte
da metalinguagem (i.e. , uma linguagem usada para descrever outra) usada para descrever certas
\
Exemplo 1.24 Considere as frmulas a: (p v q)---+ r e~: (p---+ r) " (q---+ r). A seguir, so abordadas
as vrias maneiras de provar que a
p para a: (p v q) ~ r e p: (p ~ r) /\ (q ~ r).
(q---+ r) f3 a-+~ aA(-.p) P-+a PA(-,a) ~~
r (p V q) a (p---+ r)
1,
12
13
14
15
A cartilha da lgica
29
r) (q ~ r) 13
a~l3
UA(-,f3)
f3~a
f3/\(-.a)
a~p
r (pvq) a
16
17
18
(p
Usando a definio, a= 13 se
(a)
tomam a v tambm.
13;
(a.2) o Teorema 1.1 pode ser usado para estabelecer (ou no) a conseqncia lgica, em que
13:
(b. l) considerando as oito interpretaes (I, , ... , 18), verifica-se na Tabela 1.25 que todas as interpretaes que tomam a v (no caso, as interpretaes 11, 13, 15, 17 e1 8) tomam 13 v tambm.
Pode-se dizer, pois, que
p conseqncia lgica de a;
(b.2) o Teorema 1.1 pode ser usado para estabelecer (ou no) a conseqncia lgica, em que
basta verificar se a ~
(t.3) o Teorema 1.2 tambm pode ser usado, mostrando que a /\ (---,f3) uma contradio ( 11
coluna da Tabela 1.25).
Note que a equivalncia a=
a~
30
EdUFSCar - Apontamentos
II
I2
I3
I4
Is
I6
I7
I8
-4
(q Ar) e 13: (p
-4
q) A (p -4 r).
a.-tj3
U/\(-,j3)
j3-ta.
j3A(-,a.)
a.Bj3
(q /\ r) a. (p -t q) (p -t r) j3
f
f
que~/\
't>
interpretaes que tornam a. v (no caso, as interpretaes 11, 15 , 16 , 17 e I 8) tornam j3 v tambm. Pode-se dizer, pois, que j3 conseqncia lgica de a.;
(b.2) o Teorema 1.1 pode ser usado para estabelecer (ou no) a conseqncia lgica, em que
basta verificar se a. -t j3 uma tautologia (1 O coluna da Tabela 1.26);
(b.3) o Teorema 1.2 tambm pode ser usado, mostrando que a. /\ (-.j3) uma contradio ( 11 i
A cartilha da lgica
31
Leis
Nome
a /\ -,a = falso
Lei da contradio
a v -,a = verdade
a /\ verdade = a
a v falso= a
a /\ falso = falso
a v verdade = verdade
a/\a=a
ava= a
--,(-,a) = a
a/\13=13/\a
avl3=13va
(a /\
(a
13) /\ y =a /\ (13 /\ y)
13) V y = a V (13 V y)
13) /\ (a v y)
--,(a /\ 13) = -,a v -,13
--,(a v 13) =-,a /\ -,j3
a v (13 /\ y) = (a v
Leis da identidade
Leis da dominao
Leis idempotentes
Lei da dupla negao
Leis comutativas
Leis associativas
Leis distributivas
Leis De Morgan
Observao 1.17 Um procedimento usualmente adotado na manipulao de expresses a substituio (com base no princpio da substituio) de expresses envolvendo o conectivo condicional
( ~) e o bicondicional (~) por suas equivalentes lgicas, como mostra a Tabela 1.28.
32
EdUFSCar -Apontamentos
-,a v 13
(1)
(aHIJ)
(a~IJ)A(IJ~a)
(2)
(a~
(a H j3)
~a)
13) /\ (13
(-.a v 13) /\
(-.13 v
(3)
a)
As equivalncias (1), (2) e (3) da Tabela 1.28 so provadas nas Tabelas-verdade 1.29, 1.30 e
1.31 respectivamente.
Tabela 1.29 Tabela-verdade que evidencia a equivalncia (1) da Tabela 1.28.
13
-,13
II
I2
I3
I4
(a~
13)
(-,a
13)
(a~
13) B (-.13 v
a)
13
-.a
-,13
II
I2
I3
I4
(a
13)
(a~
(a~
(aHj3)H
((a ..~
13)
13) /\ (-.j3 v
(aHl3)H
13
-,a
-,13
11
1i
~ f
I,
(a
13)
(-.a
(-.13 v a) (-.a v
a)
(-,a v
13) /\ (-.13 v
a)
A Tabela 1.32 mostra duas importantes leis (e respectivos duais) que tambm podem ser derivadas a partir das leis mostradas na Tabela 1.27. As Tabelas 1.33 e 1.34 provam as duas leis em
questo.
A cartilha da lgica
33
absoro
absoro
f3
J3
a/\ (a v
(a/\
(a v
J3)
J3)
a v (a/\
a v (a/\
a/\ (a v
f3)
f3)
(a /\ verdade) v (a /\
a/\ (verdade v
J3)
identidade
distributiva
- a /\ verdade
dominao
=a
identidade
(a v falso)/\ (av
a v (falso /\
a v falso
f3)
- a
Tabela 1.34 Prova da lei (a /\
J3)
J3)
identidade
distributiva
dominao
identidade
13) v 13)
((av (-.a))/\ (13 v (-,a)))/\ (J3 v (a/\ f3))
- (verdade/\ (f3 v (-.a)))/\ (f3 v (f3 /\a))
(a/\ f3) v (-,a/\ 13)
(f3 V (-.a))/\ J3
13 /\ (f3 V (-,a))
- f3
((a v f3) /\(-.a)) v ((av J3) /\ f3)
((a v 13) /\(-.a)) v ((av J3) /\ J3)
((a/\ (-.a)) v (J3 /\(-.a))) v (f3 /\(a v f3))
(falso v (J3 /\(-,a))) v W/\ W v a))
(a v f3) /\(-,a v J3)
(f3 /\(-.a)) V f3
J3 V (j3 /\ (-,a))
-
((a/\
f3) v
(-.a))/\ ((a/\
distributiva
distributiva~e
comutativa
13
34
EdUFSCar - Apontamentos
Muitas vezes, conveniente adotar uma certa padronizao na notao, a fim de poder expressar
as frmulas de uma maneira nica; a padronizao facilita tanto a identificao de uma frmula
quanto a comparao entre duas ou mais frmulas.
Duas formas, denominadas Formas Normais - FN - , so particularmente utilizadas e conhecidas como Forma Normal Conjuntiva (FNC) e Forma Normal Disjuntiva (FND). Dada uma expresso da Lgica Proposicional, sempre possvel determinar uma expresso equivalente que esteja
representada tanto na Forma Normal Conjuntiva quanto na Forma Normal Disjuntiva. Como ficar
mais claro nas sees seguintes, freqentemente necessrio transformar a expresso de uma frmula para a forma normal.
n) uma clusula, ou
seja, uma disjuno de literais ou um literal. Pode-se ento dizer que uma frmula a est na FNC
se e somente se:
1. contm como conectivos apenas /\, v e ---,;
Se
.,
FNC(a).
Exemplo 1.26
(a) Para a frmula a: (-,p v q)
r, tem-se que:
fcil mostrar que uma FNC tautolgica se e somente se cada elemento da conjuno for
tautolgico.
r)
(b.2) p /\verdade
A cartilha da lgica
35
Para a obteno da FNC de uma frmula no tautolgica a com n tomos, procura-se na tabelaverdade de a as interpretaes que avaliam a como f. Para cada uma dessas interpretaes li ( 1 ~
i ~ 2n) constri-se uma disjuno da seguinte maneira: se na interpretao li o tomo p da frmula
a avaliado como v, toma-se -,p e, se for avaliado como f, toma-se p. Em seguida, determina-se
a conjuno das disjunes obtidas em cada uma das interpretaes l i. Se a frmula a for uma
tautologia, determina-se que FNC(a): p v (:_,p), na qual p uma frmula atmica.
Exemplo 1.27
r.
(--.p
q)
1,
12
13
14
Is
16
17
18
~ r
+-
..
+-
+-
p2 v p3 v
... v
~ n) uma conjuno de
literais ou um literal. Pode-se ento dizer que uma frmula a est na FND se e somente se:
1. contm como conectivos apenas
A,
v e -,;
36
EdUFSCar -Apontamentos
4. /\no tem alcance sobre v, ou seja, no existem expresses tais como p /\ (q v r).
Se
FND(a).
p v verdade
-,p
(-,q /\ -,r)
V S
pv(q/\r/\S)
(p /\ q) v (r /\ p /\ -,q) v (-.s)
J a expresso -,(p /\ q) v r no est na FND, uma vez que ela contm uma subfrmula (no
atmica) negada. Apenas subfrmulas atmicas podem estar negadas na representao em forma
normal.
Procedimento 1.2 Obteno da FND.
Para a obteno da FND de uma frmula no contraditria a com n tomos, procura-se n'a tabelaverdade de a as interpretaes que avaliam a como v. Para cada uma dessas interpretaes l; ( 1 ~
i ~ 2n) constri-se uma conjuno da seguinte maneira: se na interpretao li o tomo p da frmula a avaliado como v, toma-se p e, se for avaliado como f, toma-se -,p. Em seguida, determinase a conjuno das disjunes obtidas em cada uma das interpretaes li. Se a frmula a for uma
contradio, determina-se que FND(a): p /\ (-.p), na qual p uma frmula atmica.
Exemplo 1.29 Considere uma frmula a cuja tabela-verdade seja Tabela 1.36.
Tabela 1.36 Tabela-verdade da frmula a.
l,
12
13
14
15
16
17
18
A cartilha da lgica
....
Para a obteno da forma normal conjuntiva de uma frmula a os seguintes passos devem ser
seguidos, quando passveis de serem aplicados.
( 1) repetidamente usar as equivalncias a seguir para a eliminao dos conectivos lgicos t t
e~.
a tt
B=((-,a) v ~) /\ ((--.B) v
a~ B=((-.a) v B)
a)
(2)
(a) repetidamente utilizar a lei da dupla negao para a eliminao de negaes mltiplas:
--,(-.a) = a
B) =-,a v -.B
B) == -.a /\ -.B
(3) quando a expresso obtida no tiver subexpresses compostas negadas, as duas leis a
seguir so utilizadas para reduzir o escopo do v.
W /\ y) =(a v B) /\(a v y)
(a/\ B) v y =(a v y) /\ W v y)
(1.1)
a v
(1.2)
38
EdUFSCar - Apontamentos
---,((p
---,q) /\ ---,f)
---,(p
---,q)
V ---,---,f
De Morgan
---,(p
---,q)
V f
dupla negao
(---,p /\ ---,---,q)
(---,p /\ q)
De Morgan
dupla negao
V f
(--.p v r) /\ (p v r)
(l.2)
(p v (r /\ (s v t))) /\ (q v (r /\ (s v t)))
(p
r) /\ (p
s V t) /\ (q
r) /\ (q
(l.2)
V
t)
(1.1)
bela 1.39) e, na seqncia, obtida usando equivalncias lgicas por meio do Procedimento 1.3.
Tabela 1.39 Tabela-verdade da frmula (-,p v q)
r.
---,p
II
12
13
14
15
16
17
18
(---,p
q)
(---,p
q)-H
f-
f-
f-
q V r).
A Tabela 1.40 evidencia a equivalncia das duas representaes, ou seja, ( (---,p v q)
r) = (---,p v
---,q v r) /\ (p v --.q v r) /\ (p v q v r). Para facilitar a visualizao, a seguinte nomeao foi adotada,
a: ((---,p v q)
r),
---,p
---,q
1,
12
p
f
p /\/\
a B(P /\ 8 /\)
A cartilha da lgica
39
-.p
--,q
13
j3/\/\.
a H(l3 /\ /\)
13
14
15
16
17
Is
Por outro lado, usando o Procedimento 1.3, a FNC pode ser obtida por meio do uso de equivalncias lgicas, como mostra a Tabela 1.41.
Tabela 1.41 Determinao da FNC de ((-,p v q)
((-.p v q)
r)
- -.(-.p v q) v r
equivalncia da implicao
- (-.(-.p) /\ -.q) v r
De Morgan
- (p /\ -.q) v r
dupla negao
(p v r) /\ (-.q v r)
(1.2)
A FNC obtida pelo Procedimento 1.3, mostrado na Tabela 1.40, equivalente FNC obtida por
meio de equivalncias lgicas, mostrada na Tabela 1.41 - a segunda expresso, entretanto, uma
verso simplificada da primeira. A Tabela 1.42 exibe a equivalncia entre as duas expresses, ou
seja:
13 /\ 8 /\ . =(p v r) /\ (-.q v r)
tal que
--,p --,q
13/\8/\A p V r --,q V r
(p
r) /\
(--,q
r)
(13 /\ /\ .)
11
12
13
14
15
16
v.
17
18
40
EdUFSCar - Apontamentos
Existe um procedimento similar ao Procedimento 1.3 para a obteno da FNC, usando equivalncias lgicas. O passo 3 do Procedimento 1.3, entretanto, precisa ser alterado para:
(3)quando a expresso obtida no tiver subexpresses compostas negadas, as duas leis a seguir
so utilizadas para reduzir o escopo do v.
a/\ (J3 v y) =(a/\ J3) v (a/\ y)
(1.3)
(1.4)
Uma clusula, por sua vez, uma disjuno de literais (ou seja, tomo ou tomo negado), isto :
Urna das vantagens de se ter a FNC de uma dada frmula a poder garantir que se o valor de a
em urna determinada interpretao for v, ento cada clusula tambm, separadamente, interpretada v, uma vez que a FNC uma conjuno de clusulas. Este fato torna a frmula mais facilmente
manipulvel.
Como a FNC de uma frmula a da Lgica Proposicional sempre uma conjuno de clusulas,
a ordem em que estas clusulas so escritas irrelevante - pela propriedade associativa da conjuno(/\). Assim, pode-se dizer que a FNC uma coleo de clusulas. Escreve-se, ento, a FNC de
uma frmula a corno:
sendo que a conjuno entre as clusulas fica implcita. Nomeia-se de coleo apenas para indicar
que a ordem no relevante. Neste sentido, pode-se dizer que qualquer frmula da Lgica Proposicional uma coleo de clusulas. Analogamente, uma clusula Ci ter a forma:
em que cada Li (1
uma clusula uma coleo de literais na qual a disjuno est implcita, ou seja,
A cartilha da lgica
41
e seja
p a FNC(a),
C 1: (p
-,q
V S)
C2 : (-,p v -.r v s) e
C 3 : (-.q v -,r v s)
A FNC pode ser representada pela coleo das trs clusulas, na qual a conjuno est implcita,
isto :
Uma possvel conveno escrever a frmula como uma clusula aps a outra, lembrando que
elas esto conectadas por/\:
Como cada clusula uma coleo de literais que esto conectadas por v, para cada clusula
pode-se escrever primeiro os literais positivos e, logo aps, os negativos, obtendo-se:
Essa separao entre literais positivos e negativos prepara a clusula para a introduo da notao definida por Kowalski (1974). Na notao, as clusulas so representadas por:
CI: s, p ~q
C2: s ~r,p
Cj: s ~q,r
svp~q
significando
s ~r /\ p
s ~q /\ r
42
EdUFSCar - Apontamentos
do~ .
do~.
chamados de concluses, e
equivalente a:
que equivalente a:
que equivalente a:
Dependendo do nmero de literais envolvidos na clusula, os casos especiais mostrados na Tabela 1.43 podem ocorrer.
Tabela 1.43 Tipos de clusulas.
m> 1
m :S 1
(a) m
= 1, n >O
Bn
(b)m=l,n=O
A cartilha da lgica
43
m=O,n>O
(c)m=O,n>O
+-B"B2,
,Bn
Bn.
As nicas clusulas que podem ser representadas usando a linguagem de programao Prolog
so as clusulas de Horn (o
smbolo~
Em uma situao em que um dado conhecimento pode ser representado utilizando Lgica Proposicional, apenas as expresses que forem clusulas de Horn sero passveis de serem representadas
em Prolog.
an (n ~ 1) de proposies, na qual as
n-i
1 /\ 2 /\ 3 /\ .. /\ n-1
ou seja,
" a
a 3,. , an- 1 i= an. Essa afirmao justificada pelo Teorema 1.1, da Seo 1.4.
44
EdUFSCar -Apontamentos
sequncia finita de (rmulas Cl' C2, ... , Ck uma prova (ou deduo ou derivao) de p a partir de
aj
(1 ~j ~ n); ou
4.
ck p.
Diz-se, ento, que p dedutvel a partir de a 1, a 2, a 3, , a 0 ou que P um teorema. Se a seqncia puder ser construda, isto , se existir uma derivao para a concluso p, dado que a 1, a 2, a 3, ... ,
!- P vlido.
Observao 1.20 Na maioria dos sistemas para derivaes formais o conjunto de regras de inferncia admissveis fixo - nenhuma outra regra de inferncia pode ser usada a menos que esteja
includa em L. Para os exemplos e discusses a seguir, o conjunto L de regras de inferncia considerado apresentado na Tabela 1.44.
A cartilha da lgica
45
Nome da regra
Regra
a, a--t13j=13
modus ponens
modus tol/ens
a v 13, -,a j= 13
a v 13, ---,13 i= a
silogismo disjuntivo
a/\ 13 i= a
a/\ 13i=13
simplificao
a, 13i=a/\13
a--tj3, -,a--tj3 [= 13
a[= a v 13
adio
131= U
adio (variante)
13
13
y j= 13
-,
j= -,a V -,y
a
a
H
H
dilema destrutivo
contraposio
a, -,ai= 13
a --t 13, 13 --t a [= a
dilema construtivo
da inconsistncia
H
13
13 [= a --t 13
13 i= 13 --t a
introduo da equivalncia
eliminao da equivalncia
variante da eliminao da equivalncia
A regra da inconsistncia segue do fato de que a /\ -,a sempre avaliada f e, portanto, a, -,a [= 13
trivialmente verdade. A lei da inconsistncia tem um grande impacto em sistemas lgicos, pois se uma
simples contradio pode ser derivada a partir das premissas (no caso, a derivao de a e tambm a
derivao de -,a), ento toda expresso lgica possvel e imaginvel 13 tambm pode ser derivada.
fundamental, pois, que as premissas no permitam a derivao de qualquer contradio, caso contrrio, em um tal sistema, tudo pode ser provado.
Regras de inferncia devem ser escolhidas de tal maneira que possam derivar apenas resultados
que estejam corretos. Isso significa que L no deve conter qualquer falcia. Uma falcia permite encontrar uma concluso que no possa ser derivada das premissas e, conseqentemente, no correta.
Observao 1.21 Um sistema para derivaes no deve ser apenas correto, mas tambm completo.
Por completo entende-se um sistema que viabiliza a derivao de toda concluso que logicamente
segue das premissas. O sistema de regras descrito na Tabela 1.44 no completo. Considere a lei
do meio excludo a v -,a. Essa lei vlida sem qualquer premissa, ou seja, J= a v -,a. fcil ver
46
EdUFSCar - Apontamentos
que, sem qualquer premissa, nenhuma das leis da Tabela 1.44 pode ser usada. Conseqentemente,
a v -,a no pode ser derivada se L for o conjunto de regras da Tabela 1.44. A seguir, so mostrados
alguns exemplos de verificao da validade de argumentos, usando argumentos vlidos j conhecidos e equivalncias.
Observao 1.22 Em Lgica, o que chamado de teoria dado por um conjunto de premissas e
por um conjunto de todas as concluses que podem ser derivadas a partir das premissas. Freqentemente, as premissas de uma teoria so chamadas de axiomas e as concluses que podem ser
derivadas dos axiomas so chamadas de teoremas.
Observao 1.23 Equivalncias representam uma regra especial nas derivaes. Toda equivalncia
pode ser tratada como uma regra de inferncia que permite substituir cada uma das wffs por sua
equivalente ou que permite substituir uma subfrmula de uma wff por sua equivalente.
Exemplo 1.34 Considere:
Se as uvas caem, ento a raposa as come.
Se a raposa as come, ento esto maduras.
As uvas esto verdes ou caem.
Logo,
A raposa come as uvas se e somente se as uvas caem.
Identificando as proposies atmicas nas sentenas em lngua natural escritas neste Exemplo 1.34
e nomeando-as com os smbolos convencionados para tomos na Lgica Proposicional, tem-se:
p: as uvas caem
q: a raposa come as uvas
r: as uvas esto maduras
Reescrevendo o enunciado anterior usando a linguagem da Lgica Proposicional, tem-se:
p~q
q~r
-,r
logo
p~q
A cartilha da lgica
Tem-se
Deduz-se
c1
c2
c3
c4
cs
c6
c7
q.
p~q
premissa
q~r
premissa
--,r V p
premissa
r~p
(C 3 : equivalncia)
q~p
(C 2+ C4+silogismo hipottico)
(p
q) /\ (q
p) (C 1 + C5 +conjuno)
(p tt q)
(C 6 : equivalncia)
r), (--,r v p)
47
q),
1- (p tt q) vlido.
--,q
p~r
1
--,r V q
logo
pttq
r.
1~
(r
~r-
48
EdUFSCar -Apontamentos
e]
c2
Tem-se
c3
Deduz-se
c4
cs
c6
c7
cs
q.
--,q
premissa
p~r
premissa
--,r V q
premissa
q~p
(C 1 : equivalncia)
r~q
(C 3 : equivalncia)
p~q
(C 2 + C5 + silogismo hipottico)
(p
q) /\ (q
p) (C 6+ C4+conjuno)
(C 7: equivalncia)
(pttq)
--,p
--,r
logo
--,r
A Tabela 1.4 7 exibe a prova da concluso corno estabelecida na Definio 1.16.
A cartilha da lgica
49
e,
Tem-se
Deduz-se
c2
c3
c4
cs
p~q
premissa
premissa
-,r
(C 1 + C2 +silogismo hipottico)
-,r
(C 3+ C4+de casos)
A seqncia C 1, C2, C3, C4, C 5 uma prova da concluso -.r e o argumento (p---+ q), (q
(-.p ---+ -.r)
-.r),
1- -.r vlido.
S, -,S
1- p
Tem-se
Deduz-se
e,
-.p-+ q
premissa
c2
c3
c4
cs
c6
q-+ r
premissa
-,r V
premissa
-,s
premissa
-,r
(C 3+ C4+silogismo disjuntivo)
-,q
(C 2 + C5 + modus tol/ens)
c1
-,(-,p)
(C 2 + C7 + modus tollens)
cs
1- p vlido.
Tem-se
cl
c2
c3
p-+ q
premissa
-,q
premissa
-,p
(r v s)
premissa
50
EdUFSCar - Apontamentos
Deduz-se
c4
cs
c6
c7
cs
c9
c,
c"
r~t
premissa
u~-..,t
premissa
premissa
-..,p
(c 1+ c2 + modus tol/ens)
(C3+ C 7+ modus ponens)
(C 5+ C6+ modus ponens)
(C 4+ C9+ modus tol/ens)
(C8+ C 10 +silogismo disjuntivo)
rvs
-..,t
-..,r
s
q, -.q, -..,p
(r v s), r
t, u
-.t, u
1- s vlido.
q, r
~ S, ( q V S) ~
t, -..,t 1- -..,p /\
-..,f
Deduz-se
c,
c2
c3
c4
cs
c6
c7
cs
c9
c,
c"
premissa
p~q
r~
(q
premissa
V S) ~
premissa
premissa
-.t
-..,(q
s)
-..,q /\ -..,s
(C 5 +equivalncia De Morgan)
-..,q
(C 6 +simplificao)
-..,s
(C 6 + simplificao)
-..,f
(C 2 + C 8 + modus tollens)
-..,p
(c 1+ c7 + modus tollens)
(C 10 + C9+conjuno)
-..,p /\ -..,r
q, r
s, (q v s)
a~
A cartilha da lgica
2. prove
p, usando a
51
se necessrio;
p.
Exemplo 1.40 [Grassmann & Tremblay, 1996]. Um casal tem um menino e est esperando uma
segunda criana. Prove que se a segunda criana for uma menina ento o casal ter um menino e
uma menina.
Seja:
p: a primeira criana do casal um menino
q: a segunda criana do casal uma menina
O que se quer provar q ~ (p /\ q), dado que a premissa p. De acordo com o Teorema da Deduo (discutido a seguir), a prova pode ser conduzida como:
1. p verdade: a primeira criana do casal um menino;
2. assuma q: ou seja, assuma que a segunda criana do casal uma menina;
3. com base em p e em q, conclua p /\ q, pela regra de inferncia da conjuno;
4. nesse ponto, o Teorema da Deduo permite concluir que q
pode ser descartada, ou seja, q
(p /\ q). A suposio de q
(p /\ q) trivialmente verdade.
p preciso considerar
f3 trivialmente v. Se a
adicionada s premissas.
Essencialmente, a regra estabelece que uma suposio pode ser convertida no antecedente de
uma condicional; em algumas referncias o processo descrito tratado como uma regra de inferncia chamada de regra de introduo da condicional. Ela difere das outras porque emprega um
raciocnio hipottico, isto , uma estratgia de prova fundamentada em hiptese, que pode ser
considerada uma suposio feita no contexto do argumento, com o objetivo de mostrar que determinada concJuso segue da suposio. A maneira mais geral para provar uma condicional colocar
seu antecedente como hiptese (ou seja, admiti-lo como possibilidade no contexto do argumento)
e ento mostrar que seu conseqente deve se seguir.
Exemplo 1.41 Este exemplo e a discusso sobre ele foram extrados de Nolt & Rohatyn (1991) e
adaptados. Suponha que um corredor machucou seu tornozelo uma semana antes de uma grande
corrida, e a inteno seja persuadi-lo a parar de correr por alguns dias, a fim de que seu tornozelo
sare. Algum pode alert-lo fazendo a seguinte afirmao condicional: "se voc continuar a correr,
no estar apto a disputar a corrida". A resposta do corredor eventualmente pode ser: "prove isso".
.: ..~; _ .;
52
EdUFSCar - Apontamentos
A maneira mais geral de provar uma condicional considerar seu antecedente como hiptese
(isto , admiti-lo no contexto do argumento) e ento mostrar que o conseqente do condicional
deve se seguir. Para fazer isso, o argumento pode ser elaborado da seguinte maneira:
Seu tornozelo est muito inchado. Suponhamos que voc continue a correr. Se ele est muito inchado
e voc continuar a correr, seu tornozelo no vai sarar em wna semana. Se ele no sarar em wna
semana, ento voc no estar apto a disputar a corrida. Desse modo, no estar apto a disputar a
corrida.
Este argumento um argumento hipottico. A palavra "suponhamos" um indicador de hiptese, assinalando que o enunciado "voc continue a correr" uma hiptese. Dessa hiptese, a concluso "voc no estar apto a disputar a corrida" descrita a seguir. O argumento est construdo
com base em trs suposies:
1. seu tornozelo est muito inchado;
2. se seu tornozelo est muito inchado e voc continuar a correr, ento seu tornozelo no ir
sarar em uma semana;
3. se seu tornozelo no sarar em uma semana, ento voc no estar apto a disputar a corrida.
As trs suposies anteriores so consideradas verdadeiras - diferentemente da hiptese, que foi
assumida em considerao ao argumento. Uma vez admitida as suposies, o argumento hipottico
mostra que se a hiptese "voc continuar a correr" for verdadeira, ento a concluso do argumento
hipottico, "voc no estar apto a disputar a corrida'', tambm deve ser verdadeira. Assim, mostrase que a expresso condicional:
Se voc continuar a correr, ento voc no estar apto a disputar a corrida.
verdadeira, o que exatamente o que se queria provar. A expresso condicional foi deduzida
colocando como hiptese seu antecedente e mostrando que seu conseqente segue-se do conjunto
formado pela hiptese com as premissas.
fato que a correo do argumento depende da veracidade das suposies - na vida real, a veracidade delas pode ser duvidosa. A correo do argumento, entretanto, no depende da veracidade da
hiptese. Considerando as suposies e independentemente de o corredor continuar ou no a correr,
deve ainda ser verdade que, se ele continuar correndo, ele no estar apto a disputar a corrida. A hiptese adicionada somente para mostrar que, dadas as suposies, ela implica a concluso "voc
no estar apto a disputar a corrida". Uma vez provado isso, a hiptese descartada e a expresso
condicional que representa a concluso estabelecida somente com base nas suposies. A formali7.ao do argumento est na Tabela 1.51, com a seguinte simbologia:
p: seu tornozelo est muito inchado.
A cartilha da lgica
53
p, (p " q)
1- q ~ -,s
e,
c2
c3
c4
cs
c6
premissa
-,r ~ -,s
premissa
hiptese
p /\ q
(C 1 + C 4 +conjuno)
-,r
(C 2+ C 5+ modus ponens)
c1
-,s
cs
(C 4 - C 7 + introduo da condicional)
~-,s
Note na Tabela 1.51 que, a partir da introduo da hiptese q (inclusive ela), as frmulas so
endentadas direita na coluna, para indicar a durao do argumento hipottico, ou seja, a parte da
prova na qual a hiptese considerada. Como argumentos hipotticos so construdos com a introduo de uma hiptese com um escopo de atuao na prova, no que segue a seqncia de frmulas
que identifica a prova da concluso no apresentada. A prpria tabela evidencia a prova, com o
escopo da validade da hiptese assinalada via deslocamento direita.
Observao 1.25 A regra da introduo da condicional pode ser enunciada como: dada a derivao
de urna wff j3 a partir de urna hiptese a, pode-se descartar a hiptese e inferir a wff a
j3. A regra
Observao 1.26 As regras de inferncia da Tabela 1.44 com o Teorema da Deduo formam um
sistema completo.
Exemplo 1.42 Usando deduo natural, o argumento a seguir est provado na Tabela 1.52.
p ~ q, q ~ r
1- p ~ r
54
EdUFSCar -Apontamentos
p-;q
premissa
c2
q-;r
premissa
c3
hiptese
cs
(C 1 + C3 + modus ponem)
c6
p-;r
1- p -.; (q -; r).
Este exemplo ilustra a situao na qual a concluso a ser derivada uma expresso condicional
que tem, como conseqente, outra expresso condicional. A derivao emprega a mesma estratgia
anterior. O antecedente da condicional mais externa assumido como hiptese. Como, no caso, o
conseqente outra expresso condicional, pode-se assumir como uma nova hiptese o antecedente dessa ltima condicional e derivar sua concluso, como mostra a Tabela 1.53.
Tabela 1.53 Prova usando a regra de introduo da condicional.
c1
(pAq)-;r
premissa
c2
hiptese
c3
hiptese
c4
pA q
cs
(C 2 + C3 +conjuno)
(C, + C4 + modus ponem)
c6
q-; r
c7
p-;(q-;r)
Note que C2 o antecedente da concluso, inserido na prova como hiptese. Para derivar a concluso (que a condicional q -.; r), a partir desse ponto, coloca-se como hiptese o antecedente da
condicional, isto , q. Como uma nova hiptese, ela requer um deslocamento direita para indicar
que a segunda hiptese vigente. Como a concluso r derivada (C 5), a hiptese q pode ser descartada e a condicional q-.; r pode ser inferida pela regra de introduo da condicional. Foi mostrado
ento que q -.; r segue da hiptese original p. A hiptese p permanece vigente at ser descartada e
a concluso desejada (q-.; r) ser inferida.
Observao 1.27 Algumas wffs so passveis de serem provadas sem suposies (premissas)- so
os teoremas. A prova de um teorema se inicia com uma ou mais hipteses que sero descartadas
pela introduo da condicional, como mostra o Exemplo 1.44.
A cartilha da lgica
1- p
55
condicional.
Tabela 1.54 Prova de \-p
(p v q).
c1 p
c2 pvq
c3 p ~ (p V q)
hiptese
e,+ adio
(C 1- C2+introduo da condicional)
1- q v
condicional.
Tabela 1.55 Prova de p v q \- q v p.
c1
c2
c3
c4
cs
c6
c7
cs
c9
pvq
premissa
hiptese
qvp
(C 2 +adio)
(q
(C 2- C3+introduo da condicional)
p)
hiptese
qvp
(C 5 +adio)
(q
p)
(q
(q
p)
(q
p)
(C 5 - C6 +introduo da condicional)
V
1- p /\ (q v r) usando a regra de
introduo da condicional.
Tabela 1.56 Prova de (p " q) v (p /\ r) \- p /\ (q v r).
e , (p /\ q)
c2
c3
c4
cs
c6
c7
cs
c9
(p /\ f)
premissa
(p /\ q)
hiptese
(C 2 +simplificao)
(C2 +simplificao)
qvr
(C4+adio)
p /\ (q v r)
(C3 + C5 +adio)
(p /\ q)
p /\ (q
r)
(C 2 - C6 + introduo da condicional)
(p /\ r)
hiptese
(C 8 +simplificao)
e, r
(C 8 +simplificao)
56
EdUFSCar -Apontamentos
qvr
(C 10 + adio)
c12
p/\(qvr)
(C 11 +adio)
c13
(p /\ r)
c14
p/\(qvr)
p /\ (q v r)
(C 8 - C 12 + introduo da condicional)
(C 1 + C 7 + C 13 +dilema construtivo)
Observao 1.28 Outra estratgia de prova que usa o raciocnio hipottico conhecida como reduo ao absurdo ou prova indireta. Para provar uma concluso, a concluso negada inserida como
hiptese e a estratgia busca derivar uma contradio - a derivao da contradio evidencia que
a hiptese negada falsa, o que permite inferir que a concluso segue das premissas. Como visto
anteriormente, uma contradio qualquer wff no padro a/\ (-,a). A wff pode ser um tomo ou,
ento, uma expresso composta. A regra da reduo ao absurdo estabelecida como: dada a derivao de uma contradio a partir de uma hiptese a, pode-se descartar a hiptese e inferir -,a.
Exemplo 1.47 A Tabela 1.57 mostra a prova do argumento p
absurdo.
Tabela 1.57 Prova de p
p~q
premissa
c2
---,q
premissa
c3
hiptese
c4
(C 1 + C 3 + modus ponens)
cs
q /\---,q
(C 4 + C 2 +adio)
---,p
(C 3 - C 5 +reduo ao absurdo)
c6
q, ---,q
absurdo.
Tabela 1.58 Prova de p
p~q
premissa
c2
---,q
premissa
c3
hiptese
c4
(C 1 + C 3 + modus ponens)
cs
q /\ ---,q
(C 4 + C 2 +adio)
c6
---,p
(C 3 - C 5 +reduo ao absurdo)
A cartilha da lgica
57
Observao 1.29 Quando um esquema de raciocnio hipottico usado, alguns cuidados devem
ser tomados:
1. cada hiptese introduz, em uma prova, um deslocamento nas frmulas inferidas a partir de
ento, at o ponto de a hiptese ser descartada pela aplicao da introduo da condicional
ou da reduo ao absurdo;
2. nenhuma ocorrncia de uma frmula deslocada pode ser usada em qualquer regra aplicada
aps o trmino do deslocamento. Isso garante que a frmula derivada da hiptese no seja
usada depois que a hiptese for descartada;
3. se duas ou mais hipteses estiverem ativas simultaneamente, ento a ordem na qual elas so
descartadas deve ser a ordem inversa na qual elas foram introduzidas;
4. uma prova no est completa at que todas as hipteses sejam descartadas.
58
EdUFSCar - Apontamentos
Seis das oito regras usadas pelo algoritmo so manipulaes simblicas fundamentadas no conectivo principal de subfrmulas. As duas regras restantes regulam os critrios de parada do algoritmo: uma detecta quando uma expresso um teorema, e a outra quando a expresso no um
teorema. A entrada para o algoritmo pode ser a wff fornecida como um todo ou, ento, j dividida
entre as subfrmulas que representam as premissas e as que representam as concluses.
Antes da discusso do algoritmo so apresentadas algumas equivalncias lgicas na forma de
exemplos, que subsidiam o entendimento da motivao para o estabelecimento de algumas das
regras utilizadas no Algoritmo de Wang.
Exemplo 1.49 A Tabela 1.59 mostra a equivalncia entre as frmulas a: (p /\ -.q) ~ r e
v q), evidenciando que a frmula a B
f3 uma tautologia.
II
12
13
14
15
16
17
18
f3: (p /\ q) ~ r, eviden-
f3 uma tautologia.
-,q
r v-,q
PI\ q
f3
aB f3
II
J,
's .. "f
"
f3: p ~ (r
I,.
'1
I,
A cartilha da lgica
a~
II
I2
I3
I4
I5
I6
I7
I8
~
pv q
p~r
q~r
J3
II
I2
I3
I4
I5
I6
I7
I8
J3: (p ~ r) /\
re
J3 uma tautologia.
a~
59
a~
J3
(q /\ r) e
J3: (p ~ q)
a ~ J3 uma tautologia.
a~
q /\ r
p~q
p~r
J3
a~J3
( q v r) uma tautologia.
p /\ q
qvr
II
I2
I3
14
60
EdUFSCar -Apontamentos
.p
p /\ q
q vr
15
16
17
18
no qual:
1. os pi1 (1
~j ~
A seguir, o algoritmo aplica um conjunto de transformaes s subfmulas, de maneira a dividilas em outras mais simples que, por sua vez, sero recursivamente submetidas ao mesmo processo.
A cartilha da lgica .. 61
mo; seis regras so de transformao, identificadas como R1 a R6 e as duas regras restantes so de.
trmino, nomeadas de R, e Ra O objetivo dos procedimentos recursivos - regras de transformao
- remover conectivos de maneira que as regras de trmino possam ser aplicadas.
. .
! ..
Regra R1: se uma das frmulas tem a forma -.a., ento se pode tirar a negao e mover a frmula
para o outro lado do smbolo ::::::::>.A wff a pode s~r qualquer uma e estar em qualquer um dos lados
de=>, como mostrado a seguir. O Exemplo 1.49 mostra que tal "movimentao" vivel uma vez
que no interfere no valor semntico da frmula.
p v q, -.(r /\ s), p v r => s, q
.u. RI
p v q, p v r => s, q, (r " s)
p, q, r, s => q
Regra R2 : se uma frmula esquerda de => tem a forma a " f3, ou se uma forma direita de => tem ..,
a forma a V ~' O conectivo pode ser substitudo por uma vrgula. conectivo A a ser substitue
deve ser o conectivo principal da sentena esquerda de =>. Observao anloga vale para o conectivo V com relao sentena direita de =>.
p, r /\ (-,p v s) ::::::::> -.p" -ii'
.u.~
p, r, (-.p v s) => -,p" -,r
=> -,S V q
.U.~
r => -,s, q
Regra R3: se uma frmula esquerda de=> tem a forma a v ~'pode-se remover o operador v e
separar seus dois operandos, de forma a dividir o teorema sendo provado em dois novos teoremas.
Cada um dos dois teoremas obtidos pela separao deve ser provado individualmente. O veve,ser
o conectivo principal esquerda. O Exemplo 1.50 mostra, em um caso particular, a equivalncia
entre a expresso lgica e a conjuno das duas subexpresses obtidas pela ,diviso .
..
I~
~
r, s => v-,s
-,p => t
V -,S
62
EdUFSCar -Apontamentos
parar seus dois operandos, de forma a dividir o teorema original em dois novos teoremas. Cada
um dos dois teoremas obtidos pela separao deve ser provado individualine?te. O A deve ser o
conectivo principal direita. O Exemplo 1.51 mostra, em um caso particular, a equivalncia entre
a expresso lgica e a conjuno das duas subex.presses obtidas pela diviso ...
r, t
~
t -,q,
r, =>
Regra Rs: uma frmula em qualquer nvel, que tenha a forma (a-+ J3), pode ser substituda pela
frmula equivalente (-,a v J3), eliminando com isso a implicao.
t, W => p -+ q,-,s
.U.Rs .
-,p v q, r A (-,p v s) => r, s
.U.Rs
t~
r, (-.p v s), p
q => r, s
UR6
t,
=> p ~ q,-,s
UR6
p), -,s, q
/,/
As regras R 1; ~' ~' R 4, R 5 e~ devem ser aplicadas quantas vezes forem necssrias para remover os conectivos B, ~,....,,A e v , at que:
Regra R7: um teorema considerado provado se alguma frmula a ocorre em ambos os lados de=>.
Tal te0rema chamado de axioma. Nenhuma transformao ser mais necessria nesse teorema,
muito embora possam existir outros a serem provados. O teorema original no estar provado at
que todos os teoremas obtidos a partir dele tenham sido provados. Portanto, esta regra deve ser verificada para todo novo teorema que eventualmente resulte da aplicao das regras de transformao.
A cartilha da lgica
63
O Exemplo 1.52 mostra uma situao de ocorrncia de uma mesma frmula em- ambos os lados de
uma implicao lgica.
, -'; $,
(s v q), t, w => (s v q)
u~
u~
teorema
teorema
, ir
:1. {?.
Regra R8: um teore~a provado invlido se todas as frmulas que nele comparecem so smbolos
atmicos individuais - isto , no existem mais conectivos - e um mesmo smbolo no ocorre em
ambos os lados de~. Se um teorema como este encontrado, o algoritmo termina. A concluso
inicial no uma conseqncia lgica das preiissas, ou seja, a expresso fornecida ao algoritmo
no um teorema.
r,s,p=>q, w
JJR.
no-teorema
O Algoritmo de Wang sempre converge para a soluo de um dado problema. Toda aplicao
de uma transformao conduz a algum -progresso no sentido de eliminar um conectivo e, assim,
diminuir sintaticamente o tamanho do te~rema - mesmo que com isso sejam criados outros teore- :
mas, como acontece no caso da aplicao das regras~ e R4 A Tabela 1.64 resume os padres de
transformaes do Algoritmo de Wang.
Tabela 1.64 Regras do Algoritmo de Wang.
R1
toma-se
RI
toma-se
~ (... ,a /\ p, ... => ...) toma-se (... ,a,p, ... => ...)
~ (... => ... ,a V p, ...) toma-se (... => .. .,a,~,. .. )
~ (... ,a V
p, ...)
toma-se
toma-se
Rs (... =>... ,a~ p, ...) toma-se ( ... ::> ... ,-.a V J3, ...)
Rs (... ,a ~ p, ... => ... ) toma-se (... ,-.a V ~, :::::!> )
R6 ( ...,a.~ ~, ... => ...) toma-se ( ...,(a~~)/\ (a~~), ...=> ...)
R6 (... =>... ,a~ p, ...) toma-se (... => ... ,(a~ p) /\(a~ p), ...)
- .---~ :
64
EdUFSCar - Apontamentos
Exemplo 1.53 A Figura 1.2 mostra os passos do algoritmo de Wang para provar que a concluso
(p /\ q) segue das duas premissas (p 1) (p /\ q) 4 r e (p2) q. Durante a prova, o algoritmo evidencia
que (p /\ q) 4 r, q=> p /\ q no um teorema, ao tambm evidenciar que uma das subexpresses
geradas durante a prova (r, q => pJno um teorema.
(p
q) ~ r, q => p A q
--. (p /\ q) V r, q :::::> p /\ q
--.(p /\ q)
r, q => p
--. (p /\ q)
~
r, q =:> p
r, q =:> q
...
R1
teorema
--------- ..
,,-...... ,
\ No teorema :
'
..... _:_--~------"
Figura 1.2 A expresso ((p /\ q) -+ r /\ q) -+ (p /\ q) no um teorema, uma vez que, durante sua tentativa
de prova, uma das subexpresses geradas no qualificada como teorema.
Como pode ser evidenciado na Tabela L65, a expresso (p /\ q) no conseqncia lgica das
premissas (p /\ q) 4 r e q.
Tabela 1.65 Tabela-verdade que evidencia que p " q no conseqncia lgica de (p /\ q)-+ r e q.
(pAq)4r ((p /\ q) 4 r) /\ q
((p /\ q) 4 r) /\ q 4 (pAq)
p q
(p /\ q)
II
I2
13
14
15
16
I7
.v
.f
Is
A cartilha da lgica
65
Exemplo 1.54 A Figura 1.3 ilustra o uso do algoritmo de Wang para provar que a concluso -,p
segue das trs premissas (p 1) p ~ q, (p2) q ~ r e (p3)-.r.
.
~'-.:.
iRs
-,p v--q;--q...a.+ r; ;
:::::> -ip
iR1
-.p v q, -.q v r :::::> -,p, r
i2xR1
p, -,q v r :::::> p, r
q, r => -,p, r
iR1
teorema
teorema
iR
q => -,p, r, q
'1J-1
teorema
Figura 1.3 Prova da validade do teorema ((p ~ q) /\ (q ~ r) /\ -,r) ~ (-,p) usando Wang.
Exemplo 1.55 A Figura 1.4 ilustra o uso do algoritmo de Wang para provar que a expresso (p /\ '1)
H
(p A p) um teorema. Note que, nesse caso, o algoritmo iniciado com a expresso toda colo-
66
EdUFSCar - Apontamentos
i~
~
i2 xRs
~
=> -,(p /\ q) V (q A p)
tR2
iR1
iR2
=> -i{q /\ p) V {p /\ q)
~
tR2
(p /\
tR1
iR2
-,(q /\ p),
q)
pAq~qAp
qAp~pf\Q
p, q ~q/\p
q,p~p/\q
~
p,qrq
teorema
p.qrp
teorema
~
q,p~p
teorema
q,p::)q
teorema
Definio 1.17 Considere duas clusulas a e ~ (conjuntos de literais). Se existe um literal p tal que
p e a e -,p e p, ento o resolvente (a,~;p) de a e ~ com relao ao literal p (ou -,p) a clusula
(a- {p}) u (~ - {-,p}).
A cartilha da lgica . 67
~:
.
f ~
Teorema 1.4 (Princpio de Resoluo para a Lgica Proposicional) Considere duas clusula.f a<
{a.,f3} i= resolvente(a.,J3;p)
ou seja, o resolvente de duas clusulas a e ~ conseqncia lgica das duas clusulas.
Exemplo 1.57 Considere as duas clusulas cl: ~-.p V q e C2: r V -,q. Note que a frmula atmica q
comparece em C 1 (como q) e em C2 (como -,q), OU seja, q est DCOrrendo em C1 como literal positivo e em C2 como literal negativo, o que uma pr-condio para o .uso de resoluo. A regra da
resoluo aplicada a C1 e C2 produz como resolvente(C 1,,C2;q) a clusula C3: -,p v r, como mostra
a Figura 1.5.
Figura 1.5 Resoluo aplicada s clusulas C 1 e C2, produzindo a clusula C3 :resolvente(C 1,C2 ;q).
Exemplo 1.58 Considere duas wffs: a: -,p ~ q e J3: q -t r s ~uais se pretende aplicar resoluo. A
regra da resoluo aplicada a clusulas e, conseqentemente, as frmulas em questo devem estar
representadas como clusulas. A maneira de fazer isso reescrev-las na Forma Normal Conjuntiva, como foi visto na Seo 1.6.1. Portanto, FNC( ix): p v q e FNC(f3): --,q v r. A Figura 1.6 mostra
o uso de resoluo nas duas w:ffs.
Figura 1.6 Resoluo aplicada a ~as wffs cujas respectivas expresses na forma normal conjuntiva tm
apenas uma clusula.
68
EdUFSCar -Apontllmmtos
O uso de resoluo para a prova de teoremas est conjugado estratgia de prova por reduo
ao absurdo. A prova pode ser conduzida de duas maneiras: (1) negao da concluso e (2) negao
de todo o teorema. Os procedimentos so praticamente os mesmos; no caso (1 ), entretanto, lida-se
caso (2), lida-se com todo o
com cada premissa individualmente e com a concluso negada e,
teorema negado. Os passos para o caso (1) so:
no
1. achar para cada premi~sa e para a concluso negada (adotada como premissa) a respectiva
FNC, como descrito na Seo 1.6.1;
2. cada premissa agora uma conjuno de uma ou mais clusulas. Individualizar cada clusula;
3. cada blusula uma disjuno de um ou mais literais; esto, portanto, na forma correta
para a aplicao de resoluo. Procurar, ento, por duas clusulas que contenham o. mesmo
tomo com sinais opostos. Nas duas clusulas a seguir, p o tomo em questo. Em e, ele
aparece negado (i.e., um literal negativo) e em c2 ele aparece sem o sinal de negao (i.e.,
um literal positivo).
cl:
qV rV t
P e Ci: r V p
V 1S
A cartilha da lgica
69
}.~~:
A linguagem Prolog est fundamentada no princpio de resoluo aplicado a clusulas de If,m
e utiliz.a em suas provas a estratgia de busca em profundidade.
'if!fl
Exemplo 1.59 Prove, usando resoluo, que a concluso r v s segue das premissasp v q, p -->. r e
q~s.
1. Converta cada uma das premissas para a FNC e individualize cada uma das clusulas obtidas,
escrevendo-a em uma linha separadamente.
FNC(p
pvq
q):
FNC(q--> s):
-,q VS
C3: -,q V s .
2. Negue a concluso e ache a FNC da concluso negada. Tem-se, pois, que:
Concluso negada: -.(r v s)
FNC(-,(r v s)):
---i(r v s)
=-,r /\ ...:..,s
ou seja, a FNC da concluso negada consti!Wda por duas clusulas, C4 : -:-ir e C5 : -,s. Essas duas
clusu~as so, ento, adicionadas s demais, que descrevem as premissas. O conjmrto todo de clusulas passa ento a ser {C 1, c2, C3, C4, C5}, e a regra de resoluo aplicada a pares de clusulas
que contenham literais de sinais opostos, como mostra a Tabela 1.66.
Tabela 1.66 Uso'l!e resoluo com negao da concluso
Clusulas
CI:
Comentrio
.~
70
EdUFSCar ..;.Apontamentos
Comentrio
Clusulas
C4:
-,r
Cs:
-,s
C6:
-,p
Resolvente da resoluo de C2 e C4
C1:
Resolvente da resoluo de C, e C6
Cs:
q
-,q
Resolvente da resoluo de C3 e C5
C9:
nil
Resolvente da resoluo de C7 e C 8
pvq
-.pvr
-.r
-,qvs
nil
Figura 1. 7 rvore de refutao, cujas folhas so as clusulas que definem as premissas e a concluso negada. A cada nvel uma clusula adicionada como um vrtice da rvore por meio do uso de resoluo a
duas clusulas pai.
r, -,r v s, -,s
(1) regras de inferncia; (2) o princpio de resoluo (com negao da concluso); e (3) o princpio
A cartilha da lgica . 71
e,
c2
c3
c4
cs
c6
Tem-se
Deduz-se
-.p-+q premissa
q-+r
premissa
-.r V S
premissa
-.s
premissa
-,r
-.q vr
c1
-.q
cs
c9
pvq
q -+ r, -,r v s, -,s
1- p vlido.
(-.p -+ q) :: -.(-,p) V q E p V q
FNC(q-+ r):
(q-+ r) ::-.q v r
FNC(.r
vs):
-,r V S
-,s
FNC(-,s): -,s
Concluso negada: -.p
-,p
FNC(-,p):
A Tabela 1.68 mostra a prova usando resoluo e a Figura 1.18 mostra o DAG associado
refutao.
Tabela 1.68 Uso de resoluo com negao da concluso.
Clusulas
Comentrio
pvq
Clusula da 11 premissa
C1:
Cs:
-.p
C6:
~esolvente da resoluo de e, e cs
.72
EdUFSCar - Apontamentos
Comentrio
Clusulas
c,:
e.:
Resolvente da resoluo de C2 e C6
Resolvente da resoluo de C3 e C7
C9:
nil
Resolvente da resoluo de C4 e C9
pvq
--.p
--.q V r
--,r V S
--.s
nil
A provapor resoluo no nica. A Tabela 1.69 mostra uma outra prova, diferente da mostrada
na Tabela 1.68.
Tabela 1.69 Uso de resoluo com negao da concluso.
Clusulas
C1:
Comentrio
C4:
-,s
Clusula da 41 premissa
Cs: .
-,p
C6:
C1:
pvs
Resolvente da resoluo de C3 e C6
CB:
Resolvente da resoluo de C4 e C7
C9:
nil
Resolvente da resoluo de C5 e C8
(3) Prova do argumento usando o princpio de resoluo (negando todo o teorema), ou seja,
negfil?-do: ((-.p-> q) /\ (q ->_r)
'
A cartilha da lgica
73
(-.r v s)
((-,p. ~ q) A {q ~ r) /\(-ir v s) A
-,s)) /\ -,p
-,s) A -,p
C3: -,r V s
Cs: -,p
que so as mesmas obtidas quando da negao da concluso (Tabela l.68).
Exemplo 1.61 Considere novamente o .~gumento que foi provado usando regras de inferncia,
q, q ~ r, -,r v p
1- p ++ q
O mesmo argumento provad na Tabela 1.70, usando resoluo com a negao da concluso.
Para isso, a FNC de cada uma das premissas e da concluso negada so determinadas, como segue:
FNC(p
FNC(q
~r):
FNC(-.r
q):
p):
(q ~ r)
-,r
vp
=-,q v r
74
EdUFSCar-Apontammtos
-,(pBq)::
-,((p 4 q) /\ (q 4 p)) =
--i{p 4 q) V (-,(q 4 p)) :=
-,(-,p V q)
(-i(--iQ V p))::
(-.p)) =
(p f\ (-,q)) V (q f\ (-ip)) =
FNC(-,(p B q)):
{p
q) /\ (-,q
(-.p))
Clusulas
Comentrio
C1:
-,pvq
Clusula da I premissa
C2:
--iQ V r
Clusula da 2 premissa
vp
Clusula da 3 premissa
-,r
C3:
C4:
pvq
Cs:
-,q V -,p
C6:
-,q vp
Resolvente da resol1:1o de C2 e C3
C1:
Ca:
-.q
Resolvente da resoluo de C6 e C~
C9:
Resolvente da resoluo de C~ e C1
CIO:
nil
Resolvente da resoluo de C7 e C9
Exemplo 1.62 Considere ~ovamente o argumento do Exemplo 1.39, representado em Lgica Proposicional por:
q, r 4 s, (q v s)
A seguir, o argumento provado usando resoluo com a negao da concluso. Para a prova, a
A cartilha da lgica 75
FNC(p~q):
FNC(r~
s):
(r ~ s)
FNC((q v s) ~ t):
=-,r v s
-,(q V
S) V t=:
(-,q A (-,s)) V t E
(-,qvt)A(-,svt)
FNC(-,t):
-,t
-,(-,p /\ -,r)
.:_,(-,p) V -,(-,r)
pvr
A Tabela 1. 71 01ostra a prova usando resoluo e a Figura 1.19 mostra a correspondente rvore
de refutao. Outra prova mostrada na Tabela 1.72.
Tabela 1.71 Uso de resoluo com negao da concluso.
Clusulas
Comentrio
c,:
C2:
-,rv s
C3:
C4:
-,S V
Cs:
-,t
C6:
pvr
C1:
Clusula da 21 premissa
Clusula da 31 premissa
Clusula da 4I premissa
Clusula da negao da Concluso
Cs:
-,p
Resolvente da resoluo de C5 e C7
C9:
-,s
Resolvente da resoluo de C4 e C5
CIO:
-,r
Resolvente da resoluo de C2 e C9
C11:
Resolvente da resoluo de
c,2:
ni/
C::6 e C 10
~ .
76
EdUFSCar -Apontammtos
-,rv s
-,svt
-.pvq
-.q vt
p vr
nil
Figura 1. 9 rvore de refutao associda Tabela 1.68 ..
Tabela 1.72 Uso de resoluo com negao da concluso.
Clusulas
Comentrio
C1:
C2:
C3:
C4:
-iS V
Cs:
-,t
C6:
pvr
C1:
-,s
Resolvente da resoluo de C4 e C5
Cs:
-,r
Resolvente da resoluo de C2 e C7
C9:
CIO:
Resolvente da resoluo de C1 e C9
C11:
-,q
Resolvente da resoluo de C3 e C5
C12:
nil
Clusula da 31 premissa
Clusula da 41 premissa
/\-it) ~
(-,p
/\-ir)
negado e reescrito na FND. Como pode ser visto a seguir, a negao do teorema produz o mesmo
conjunto de clusulas que o produzido quando da negao apenas da concluso.
A cartilha da lgica
-i(((p ~ q) A (r ~ s) A (q v s)
~tA
--,(--,((p ~ q) /\ (r ~ s) A (q v s) ~ t
((p ~ q) A (r ~ s) /\ (q v s)
=
--,t)) v (--,p /\ --,r)) =
r)
C3 : --,q v.t
C4: --,s V t
2. A LGEBRA DE BOOLE
2.1 CONCEITOS INICIAIS
Definio 2.1 Seja A um conjunto tal que
IAI =
as p(!_rmutaes de A.
Exemplo 2.1
(a) Considere o conjunto A={a,b,c}. A Tabela 2.1 mostra os conjuntos SiA), P2 (A), SiA) e
P3(A), respectivamente;
(b) Para todo k, Pk(A) ;; Sk(A). Especificamente, PiCA) = S1(A), e P1(A) e S1(A), para k > 1.
Caso k > IAI, ento Pk(A) = 0.
TaMhl 2.1 Conjuntos das 2-amostras, das 2-permutaes, das 3-amostras e das permutaes do conjunto A
= {a, b, e}.
S:z(A)
P2(A)
SiA)
ConjuntoB
Operaes binrias E9 e com relao s quais B fechado.
Operao unria ' com relao qual B fechado.
Elementos distintos Oe 1 de B (por distintos entende-se que, enquanto os smbolos a, b, e... representam quaisquer elementos, os smbolos Oe 1 representam eles prprios).
A cartilha da lgica.
79
Axiomas:
Para todo a,b,c e B,
IA- a E9 b = b E9 a
~.
IB-ab = ba
2A-aE9(bE9c)= (aE9J>)$c
2B-a(bc)= (ab)c
3A-aE9(bc)= (aE9b)(a$c)
3B:....a(bE9c)= (ab)$(ac)
4A- a El3 O = a
4B-a 1 =a
SA - a El3 a'
5B-aa' =O
.;-
E9
._,
Exemplo 2.2 Cada axioma em cada um dos cinco pares de axiomas da lgebra de Bole (Definio 2.1) , de fato, dual. do outro. A Tabela 2.2 mostra exemplos de assertivas duais .
. Tabela 2.2 Assertivas e suas duais.
Du~l
de S
aE9b=bE9a
ab=ba
ab=ba
aE9b=bE9a
1E9(aE9b)c=O O(ab)E9
OE9a=l
c~l
la=O
Teorema 2.1 (Princpio da dualidade) Se S for um teorema na lgebra de Boole B, ento seu dual
tambm um teorema em B.
80
EdUFSCar -Apontamentos
e b = a, ento b = O;
Substituindo.a por b2 em (i) e a por b 1 em (ii) (o que pode ser feito, uma vez que a assertiva foi
estabelecida para todo a), tem-se,.respectivamente,
(iii) b2 e b 1 = b2
(iv) b 1 ED b2= b 1
De (iv), usando o axioma IA pode-se escrever que:
(v) b2 e bl= bl
De (f) e (v) segue que b2 = b 1 Assim, o elemento bem a ffi b =a nico. Pelo axioma 4A, en.,.
tretanto, a ffi O= a. Portanto, o nico elemento o O. A prova de (2) segue do resultado estabelecido
em (1), usando o princpio da dualidade.
Observao 2.2 Os axiomas 4Ae 4B estabelecem as propriedades do O e do 1, mas no estabelecem que o Oe o 1 so os nicos elementos que tm essas propriedades. Considere o axioma 4A o
qual estabelece que, para todo a e B, a ffi O= a. Note que a possibilidade de existir outro elemento
b E B, tal que, para todo a e B, a ffi b = a, deixada em aberto. A parte (1) do Teorema 2.2, entre~
tanto, exclui a possibilidde de existncia desse outro elemento. O Teorema 2.2 estabelece que Oe
1 so os nicos elementos de B, no sentido de que, nas assertivas a b = a e a e = a," o elemento
b s pode ser O e o elemento s pode ser 1. O Teorema 2.3 estabelece a unicidade de a' para o
. elemento a E B (isto , para todo a e B, existe a', uma vez que B fechado sob a operao ').
Teorema 2.3 Em uma lgebra booleana B, para todo a, se a ED b = 1 e a b =O, ento b =a'.
Teorema 2.4 Em uma lgebra booleana B,
(1) para todo a, a ED a= a;
.~
, ....
11. J
t
ri
_t:.;.
.)..
f '
: ")
A cartilha da lgica . 81
'
Prova de (1):
aE9a
= (aE9a) 1
(4B)
a$ {a
,---a'L.
.
-a ffi tb.
(3A)
--
=
=
f4)1i>~
:J,.
(t.,lJd '.
(5B)
a
ti.+- ( J J
.J
Prova de (2):
. . \ ;.
.-.,.
-.
-~
a e 1.
(a E9'~)
~.
e (a e a'}
~a'
. ~~ 9 a'
(SA)
(2A)
-{l)
l.....
(SA)
82 EdUFSCar -Apontttmmtos
Prova: O sistema dado precisamente a lgebra de Boole <B,9,,',0,l> da Seo 2.1, com o
conjunto B tendo apenas dois elementos, os elementos distintos Oe 1. Para provar que o sistema
uma lgebra de Boole, suficiente provar que {0,1} fechado sob EB, e'. Na prova sero .usados
os seguintes resultados:
para todo a, aEB a = a; .
para todo a, a
e.1 = 1; /
para todo.. a, a .O = O;
I
oE91=1 o 1 =o
190=1
lO=O
191=1
ll=l
1' =o
Essas tr.s funes so definidas no conjunto {0,1} e sobre o conjunto {0,1}. O conjunto {0,1}
, pois, fechado sob essas operaes.
. Definio 2.4 Seja a lgebra de Boole <B,Ee,,',0,1>. A funo f(xl'x2, ... ,xn), total de Bu em B
(f: Bn ~ B) umajuno booleana de n variveis.
Exemplo 2.3 Seja B = {O, 1}. Como IBI = 2, IBDI = zn. o nmero de funes totais f:Bn~ B dado
por 220 Para n = 1, as quatro funes esto mostradas na Tabela 2.3 e, para n = 2, as 16 funes .
esto mostradas na Tabela 2.4. A Figura 2.1 mostra um diagrama de cada uma das quatro funes totais da Tabela 2.3.
A cartilha da lgica . 83
.01
=~
f,o = t;
X
X
foo = t;,
~I =
f3
Figura 2.1 As quatro possveis funes totais de {0,1} em {0,1}, indexadas de acordo com as imagens dcfs)
elementos de B.
OhsU;vao 2.3 Note nas Tabelas 2.3 e 2A que cada funo indexada com um nmero inteiro.
;, Cada inteiro a representao decimal do conjunto de valores binrios associados pela funo.
f?>nsidere a Tabela 2.4 e a funo total identificada por f13 :B 2 ~B. O nmero inteiro 13 tem porre-
pesentao binria a seqncia de dgitos 1101 e, portanto, f 13 = f 1101 = {<0,0,1>, <0,1,1>, <1,0,0>,
"<1,1,1>}.
'Jabela 2.4 Dezesseis funes totais de {0,1 }2 ~ {0,1}.
...
i;__
fOOOI = fl
fOOIO = f2
fOOll = f3
. x
1
1
X
X
fOIOI =
fOIOO = f4
fS
foooo ="fo
funes
f0110 = f6
fOlll = f7
f,ooo = fs
flOOI
= f9
flOIO. =~O
-.: :-""
84
EdUFSCar -Apontamentos
Tabela 2 4 Continuao...
'
X
1
li
'
..
j
1.
r
!
'
fl011 =f,,
fllOO
funes
= fi2
f!IOI = f13
flllO = fl4
:X
~Ili= flS
Definio 2.5 Seja a lgebra de Boole <B,ffi,,',q,1>. Sejamf, g eh funes booleanas den variveis,
f: B" ~ B, g: B" ~ B eh: B" ~ B. As seguintes igualdades.funcionais so definidas:
1. f EB g = h se e. sodnte
se, para todo .elemento do conjunto de amostras SD(B), o resultado
.
da combinao das imagens sob f e g, de acordo com a interpretao deEB em B, igual
imagem do elemento sob h;
2. f g = h (anlogo (i));
3. f' = hse e somente se a imagem de qualquer elemento de Sn(B) sob h igual ao complemento (imagem por ') da imagem deste elemento sob f.Exemplo i.4 Considere as 16 funes totais definidas na Tabela 2.4 e, particularmente, considere.
as funes:
f4 = fOIOO = {<0,0,0>, <0,1,1>, <1,0,0>, <1,1,0>}
= f 1100 = f 12
f 9 = f 1001
Tem-se, ento,
.l
A cartilha da lgica
1_1
fOOIO
85
f
2
t;.
..
;:-.\ t
'f
Teorema 2.8 Seja <B,e,, 1,0,l> uma lgebra de Boole. Sejam f e g ~es booleana5-totiSAI~
..
~+ ,
B -+ B. So funes:
~;:_ .
'
1. f EB g;
L
L
2. f g;
rivei
3. f'.
Observao 2.4 A Definio 2.5 contempla a definio de igualdade funcional. O Teorema 2.8, a
:ulta~eguir~ prova que f 03 g, f g e f so de fato funes, como definidas na Definio 2.5. preciso,
[gualpois, provar que se f g = h 1 e f g = ~ ento h1 = ~.
Teorema 2.9 Seja <B,03;,',0,1> uma lgebra de Boole. Ento, o sistema <F:n,03,,',f.ili>, no g~l :
F:n o conjunto de todas as funes totais de Bn em B e as trs opera~s definidas como ria Defitli- ~
mple
o 2.5, uma lgebra de Boole.
..
1
. Exemplo 2.5 Considere B = {0,1}, bem como o sistema <F2,E9,,',f2,f1 >, no qual F2 o conjunto
nde11
:
de todas as funes totais de {0,1}2 em {0,1}. Temos IF21= 16, como definidas na Tabela 2.4. As
funes f2 e f1 so as funes cujos contradomnios so {O} e {l} respectivamente que, no caso do
exemplo em questo, so as funes f 0 e f 15 Pode ser facilmente verificado que F2 fechado sob as
operaes e que seus elementos satisfazem os axiomas. Cons~dere, por exemplo, o axioma 4A que
estabelece que, para qualquer elemento a e F2 , a 1 =a. Uma investigao exaustiva da verificao do axioma est mostrada na Tabela 2.5.
Tabela 2.5 Verificao da validade do axioma 4A (a 1 =a), com 1 = f1 = {<0,0,1>, <0,1,1>, <l,0,1>,
<1,1,1>}.
f3
f2
f5
= f8
86'
EdUFSCar -Apontamentos
= fll
= f,2
~4
=f
15
A cartilha da lgica
87
Definio 2.6 Seja a lgebra de Boole <B,EB,,',0,1> e sejam x 1, 'S., x.. variveis representando
elementos de B. Umajnnula booleana definida recursivamente como:
1. O e 1 so frmulas booleanas;
2. a varivel xi, i = 1, ... , n uma frmul booleana;
.-J
,,
,;~ -~;,:, -~
(1.1) (x 1 E9 'S)' e
)
elementos de {0,1}, como na prpva do Teorema 2.7, resulta em: 1 (1Ef3(O1)) = 1. Pode-se,
88
EdUFSCar-Apontammtos
pois, escrever que: "A associao entre as coordenadas de uma atribuiq. e as variveis permite a
reduo de uma frmula a um valor". Essa reduo, chamada de clcu~, estabelece uma ligao
B, associada frmula
entre frmulas e funes. No caso, um elemento da funo total de B3
x 1 (x 1 E0 ('S :>S)), ,. por exemplo, <<1,0,l>,1> ou, notado de maneir simplificada;<l,0,1,l>.
Clculos realizados levando em considerao cada.um dos elementos de S11(B) (valores de atribui
o) fornecem todos os elementos da funo, como mostrado na Tabela 2.6.
Tabela 2.6 Clculo da frmula booleana x 1 (x 1 e (~
<X1,'S,X3> a=~JS
o
<0,0,0>
~=x 1
E9 a
x1 ~
{<<0,0,0>,0>
{<0,0,0,0>
<<0,0, 1>,0>
<0,0,1,0>
<0,1,0>
o
o
o
o
o
<<0,1,0>,0>
<0,1,0,0>
<0,1,l>
<<0,1,1>,0>
<0,l,1,0>
<1,0,0>
<<1,0,0>,1>
<1,0,0,1>
<<l,0,1>,l>
<l,0,1,1>
<l,1,0>
o
o
o
<<1,1,0>,1>
<l,1,0,1>
<1,1,1>
<<1,1,1>,l>}
<l,1,1,1>}
<0,0,1>
<1,0,1>
Definio 2.8 Duas frmulas booleanas so equivalentes se seus valores so iguais, para todo ele-
variveis xi' 'S, ... , xn, que representam elementos de B. Os elementos do conjunto das n-amostras
Sn( {0,1} ), chamados de valores binrios de atribuio, so denotados por t:i, (m = 0, ... ,2n - 1). A
amostra <m.~, ... ,mn> denotada por
decimal).
Seja F o conjUnto das frmulas a(m 1, ~,.:., mn) e seja a funo q: Sn ~ F tal que q(t!) = a(m 1,
A cartilha da lgica
89
F ~ {O, 1} tal que v(cx(m 1, ~, , mil)) =O se e somente secx{m 1, ~, , mil) =O quando calculada
de acordo com as regras do Teorema 2.7 e v(cx(m 1, ~, , mJ) = 1 se e somente se cx(m 1, I11i, ... , m11)
= 1 quando calculada de acordo com as regras do Teorema 2.7.
,
t}~-':.
'~f1 ;~
Exemplo 2.10 A notao introduzida na Definio 2.9 particularizada, no exemplo ;que seg&e,;,
para n = 3. Considere:
B3 = {<0,0,0>, <0,0,l>, <0,1,0>, <0,1,l>, <l,0,0>, <1,0,1>, <1,1,0>, <1,1,1>}.
e
t!-r <1,0,0>
t~
= <0,0,l>
t~
= <1,0,1>
t 3 =<010>
"2
' '
t~
=. <1,1,0>
t~
= <1,1,l>
= <0,1,1>
~'
t~;~;
' .
Exemplo 2.1.1 Consdere cx(x 1, 'S x3) = x 1 (x 1 e (Xi x3)). Ento, t~ = <1,0,l;;>- e q(t~) =a(<l,0,1>)
= 1 .(1 E9(0 l))ev(q(t~))= 1.
S'e B = {0,1}, ento o conjunto {< t!i,v(q(!i))>, m = 0, ... ,7} a funo associada com a frmula
'
.. ~
'.
90
EdUFSCar -Apontamentos
Exemplo 2.12 Considere a(x 1, "S' x.J = (x 1 E9 "S) (x 1 E9 ~'). O clculo biririo da frmula est .
mostrado na Tabela 2. 7.
.
Tabela 2.7 Clculo da frmula booleana (x 1 E9 'S) (x 1 E9 ~') e especificao da funo b?oleana a ela
associada. Note que a funo o conjunto das 8 4-uplas da coluna f.
t3m
q(t!)
v(q(t~))
<0,0,0>
(0 E9 O) (O E9 O')
{<0,0,0,0>
<0,0,l>
(O E9 O) (O E9 l ')
<0,0,1,0> .
<0,1,0>
(O E9 1) (O E9 O')
<0,l,0,1>
<0,1,1>
(O E9 1) (O E9 1')
<0,1,1,0>
<1,0,0>
(1 E9 O) (1 E9 O')
<)t-0,0,1>
<l,0,1>
(i e o) (1e1')
<l,0,1,l> .
6 <l,l,0>
(1 E9 1) (1 E9 O'.)
<l,1,0,1>
<l,1,1>
(1 EB 1) (1 e 1')
<l,l,1,1>}
Exemplo 2.13 Considere a(x" 'S' x.J = (x 1 "S)' E9 (~ E9 x3)'. O clculo.binrio da frmula est
mostrado na Tabela 2.8, bem como a funo booleana a ela associada.
THela 2.8 Clculo da fnnula booleana (x1 xiY EB ('S E9 xJ' e especificao da funo booleana a ela
.associada. Note que a funo o conjunto das 8 4-uplas da coluna f.
t3
f
m
v(q(t~))
q(t!)
m
{<0,0,0,1>
<0,0,1,1>
<0,1,0,1>
<0,1,1>
(O 1)' E9 (1 9 l)'
<0,1,1,l>
<1,0,0,1>
<1,0,I>
(1 O)' E9 (O E9 l)'
<1,0,l,l>
<l,1,0>
(1 1)' E9 (1 E9 O)'
1
.1
<1,l,0,1>
<l,1,1>
(1 1)' E9 (1 E9 1)'
<1,1,1,1>}
De.finio 2.10 Seja a lgebra de Boole <B,E9,,',0,1> e sejam as variveis x., x2, ... , xn, e considere
que a1 representa x.1 ou x.'.
1
A frmula a1 a2 ... an denominada minterm (polinmio minimal, produto completo, produto fundamental) e a frmula a 1 E9 a2 EB ... Ea an denominada maxterm (polinmio mximo, soma
completa ou soma fundamental), de n variveis.
Conveno: x1 =xi e xr= x/ e, sob essa conveno, a seguinte notao ser adotada:
A cartilha da lgica
91
x'1 @ -:z
x' @ X = x @ yO
3
1
"'2
x'1 x 2
@ X1
3
= mm 13
3
x'
= x1 x-:z1 x3 = min_
"""3
?!
x1 y'
Y"""3 = x'1 x-i0 x31 = mins3
""2
1
3
x 1 x2 x'3 =x l1 x
-i x=min
3
6
,...
1
1x
x-i x3 =x
x-z1 x31 =min73 e ,L 1
. 1
X'
= XO1 E9 XO2 E9 X~
= max73
"""3
x'1 E9 x'
E9 x. ""3 = x1 E9 x2 E9 x ""31 = max63
-;i
x'.1 E9 -i
x E9 x3 = x1 E9 -z
x 1 E!) x31 = max43
x 1 E9 x~
E9 x'3 = x11 E9 yO
E9 x3 = max33
. ""2
'""2
x 1 ffiy'ffix
=x (1 E9x2 E9x31 =maY ""23 .
-i
3
X 1 E9 Y
-:z
Teorema 2.10 Seja a lgebra de Boole <B,E9,,',0,l> e x 1, x2, , x11 variveis que representam elementos de B. Toda frmula booleana a(x 1, x2, ... , xn) de n variveis equivalente a uma expanso
.. ,.
92
EdUFSCar -Apontamentos
1
,, - )
Exemplo 2.15 Considere a(x., "2' "3) = (x 1 Xi') E9 (Xi' ('S E9 x,')). Usando o Teorema 2.10, essa
frmula equivalente expanso em minterms:
23 -1
'
m=O
.=
v(q( d)) min/ E9 v(q( d)) min53 E9 v(q( t~ )) min63 E9 v(q( t~ )) min/ =
= ( xf
x~
= (X;
X~
xD EB ( x~
X~) ffi
x~
(X; @
X~ @
x1) EB ( xl
X3)
x2
xD E9 ( x}
x2
$ ( XJ @ X~ @ X~) ffi ( XJ @ X~ @
x1) =
X3 ).
Teorema 2.11 Para uma dada frmula booleana a{x 1, JS, ... , xn), a equivalente expanso em minterm, defindapelo Teorema2.10, nica.
. Teorema 2.12 Seja a lgebra de Boole <B,Ea,,',0,1> e x 1, JS, ... , xn variveis que representam elementos de B. Toda frmula booleana a(xl' JS, ... , xn) de n variveis equivalente a uma expanso
em maxterms dada por:
2n-1
a(x 1,
"2 ... , x)
=
n
@ v(q(r1 )) E9 max
m=O
Observao 2.5
1. Uma vez que as frmulas normais expandidas so nicas, elas so chamadas de frmulas
normais ou frmulas cannicas.
2. A expanso cannica do Teorema 2.10 chamada deforma normal disjuntiva.
3. A expanso cannica do Teorema 2.12 chamada deforma normal conjuntiva.
4. Uma frmula em que os literais so combinados apenas via operador chamada de produto simples ou produto. Se o operador for EB, a frmula chamada de soma simples .ou
soma.
A cartilha da lgica
93
Observao 2.6 Uma conseqncia bvia da unicidade da forma normal que duas frmulas
booleanas so equivalentes se elas tm a mesma forma normal. Suas funes associadas so, conseqentemente~ iguais.
. ~ '"
.:.:.
~ ~~- --:-
Observao 2.7 Exames das expresses cannicas mostram que duas frmulas boolanas a(x;,
'S, ... , x21.) e j3(xl' 'S, ... , xn.) tm a mesma forma normal, isto , tm a mesma funo associada, se
v(a(x 1, 'S, ... , xn.)) = v(j3(x 1, 'S, ... , xn)) para todas as n-amostras <m 1 ,~, ,m11> do conjunto {O, 1}.
:._:;: _
Obser-Vao 2.8
1. Na fomia nonnal disjuntiva, o termo min
n. para o qual o correspQ_ndente
v(q(t!,.)
O no
,. m
}i
,
precisa ser includo.
2. Na forma normal conjuntiva, o termo maxm21. para o qual o correspondente v(q(f!)) 1 no
precisa ser includo.
Exemplo 2.16 Considere a frmula booleana a(x 1, x2, xJ = (x 1 E9 'S) (x 1 E9 x3') e ache as corres., ;,
pondentes expanses em minterms e maxterms.
~\
.
Usando o Teorema 2.1 O, essa frmula equivalente expanso em minterms:
23-1
A Tabela 2.9 lista os valores v(q(t!)), os quais, uma vez obtidos, sero substitudos na expresso
anterior.
Tabela 2.9 Clculo para a expanso da frmula booleana (x 1 EB ~) (x 1 EB >s').
t!i
xt
'S
o o o 1
fr o o 1 o
fi o . 1 o 1
o 1 1 o
t~
~
...,
o
o
o
o
1
~
o~
o~
1
o~
94
EdUFSCar -.Apontamentos
t!
fs
f,
o o 1
o 1 o
1 o 1
1 1 o
Os minterms min,,3, min13 e ~ 3 no entram na expanso normal disjunjiva. Vem, pois, que:
(xt EB Xz) (x1 EB x3') = mfu/ E9 min43 EB min/ EB min/ EB min/ =
=(x; x2 x3)E9(x1
x~ x~)E9(x1
'
(x1 EB x~ EB
x3 ).
Exemplo 2.17 Em algumas situaes pode ser necessrio obter a frmula associada.a uma dada fun-
o booleana. Considere, por exemplo, a funo booleana f: {0,1}2 ~ {0,1} dada por: f= {<0,0,0>,
<0,l,1><1,.0,1;::-<l,l,0>}. Portanto, considerando que:
v(a.(0,0)) =O
v(~) =O
v(a.(0,1)) = 1
v(tj) = 1
v(a.(1,0)) = 1
v(tj) = 1
v(a.(1,1)) =O
v(~)= O
tem-se:
a(xp>s) = v(
min/ =ex;
t) ~
EB v(
2
1
EB
a(x 1,>s) = v( t~) ffi max/ v( tf) E9 max 12 v( t~) E9 m~2 v( tj )EB max32 = max02 E9
max/ = (X! E9 X2) (X; E9 X~).
Exemplo 2.18 As Tabelas 2.10 e 2.11 mostram que as duas frmulas booleanas:
so equivalel\tes.
A cartilha da lgica
95
(xi E9 x2 9 x)).
t!
<0,0,0>
<0,0,l>
<0,1,0>
<0,1,l>
<1,0,0>
o
o
o
o
<l,0,1>
<1,1,0>
<l,1,1>
o.
t! .
o
o
o
o
o
o
,:,
:.i ..
<0,0,0>
<0,0,l>
<0,1,0>
<0,1,1>
o
o
o
<l,0,0>
<l,0,1>
<l,1,0>
<1,1,1>
o
o
o
o
o
o
o
o
1
1.
o
o
o
96
EdUFSCar -Apontammtos
ralmente a reduo algbrica de funes booleanas no um processo tri~al e exige certo grau de
experincia; isso se tonia mais evidente medida que a complexidade cfa funo a ser mjnjmizada
aumenta. O termo minimal diz respeito a uma detenninada forma de representao - no contexto
em questo, trata-se da forma.normal disjuntiva. Os mtodos de mini:rnizao so algoritmos .de
simplificao que minimizam uma forma normal de maneira peculiar. Dada uma forma normal
disjuntiva, o mtodo de minimizao encontra uma expresso equivalente, representada como uma
soma de produtos, que contm o menor nmero de produtos e, de todas as somas de produto con-
tendo esse nmero de produtos, aquela em_que os produtos tm o menor nmero de literais. Existem
vrias tcnicas que viabilizam e facilitam o processo de minimizao. Particularmente conhecidas
so o algoritmo de Quine-McCluskey e os mpas de Kamaugh; ambos os mtodos tm a mesma
funcionalidade e esto fundamentados no conceito de implicativo direto. O algoritmo de QuineMcCluskey, entretanto, escalonvel e facilmente automatizado. O mapa de K.arnaugh construdo a partir da forma normal que deve ser minimizada, ~ a frmula minimal encontrada por meio
do exame visual do mapa. Essa tcnica complicada de ser implementada computacionalmente e,
. como um_mtodo manual, ela se toma complicada quando o nmero de variveis excede a 5. Nesta
seo, sero apresentados e discutidos ambos, o Algoritmo de Quine-McCJuskey e os mapas de
K.arnaugh, com nfase no primeiro mtodo.
\J
Considere uma frmula booleana com trs variveis (n=3), a.(x 1, ~' x3), cuja avaliao est mostrada na Tabela 2.12.
Tabela 2.12 Avaliao de uma fmula booleana com trs variveis.
x1
X3
o o o
fi o o 1
~ o 1 o
~ o 1 1
~ 1 o o
fs 1 o 1
~ 1 1 o
v(q(t!))
. f,
o
o
o
o
o
o
o
Como estabelecido pelo Teorema 2.10, a frmula avaliada na Tabela 2.12 equivalente a uma
expanso em m.interms dada por:
A cartilha da lgica
a.(x ,, x2,
v~'\ --
;~;~r
1 ll'llno
3EB O101
'' nun
3m
w
1
''
''
n
m ..D IOI~ 3~w
m
~~.
~3w
97
. ~.r.J_:~rJ
,,..
O. l()l-,
'' m m
43tn
r , 53. @ O
w O ''
IOl.mm
Considere, agora, a expanso em minterms de uma frmula booleana ~<x., "i X3), cuja avaliao
est mostrada na Tabela 2.13.
Tabela 2.13 Avaliao da frmula booleana P(x 1,
x;, :is).
x1
X3
o o o
fi o o 1
fi o 1 o
~ o 1 1
t! 1 o o
~ 1 o 1
~ 1 1 o
~
t~
2n-1
v(q(t!i))
o
o
o
o
. -1
1
o
o
x 1 ~'x3 '
m\.x)s'x
-- ~ - .
. Segue a justificativa.
98
EdUFSCar -Apontamentos
Cl
(2.1)
O uso do resultado (2.1 ), portanto, fornece uma maneira de reduo de 2 termos a 1 termo apenas - como visto no exemplo em questo, a varivel ~ redundante. Essa abordagem pode ser
usada na minimizao de fnp.ulas booleanas.
Considere uma terceira frmula booleana .(x1, JS, xJ cuja avaliao est mostrada na Tabela 2.14.
Tabela 2.14 Avaliao da frmula booleana .(x 1, JS JS).
x1
Xi
X3
o o o
fi o o 1
~ o 1 o
~
o
1
tj
t!
fs
o o
o 1
()
f,
2n-1
X3) =
v(q(t:J)
o
o
v(q(~) minm =o
min/ EB 1 minl 3 EB o ~
m=O
.
A cartilha da lgica
99
Tabela 2.15 Clculo da frmula booleana a.: x 1"2 EB ~x4, f3: x1 ~~'
<X, ~,"3,X.4>
~,
<0,0,0,0>
<0,0,0,1>
. 1
<0,0,1,0>
<0,0,1,1>
o
o
<0,1,0,0> .
<0,1,0,l>
<0,1,1,0>
<0,1,1,1>
o
o
<1,0,0,0>
<l,0,0,1>
<l,0,1,0>.
<1,0,1,1>
o
o
o
o
o
o
<1,1,0,0>
<1,1,0,l>
.O
<l,1,1,0>
o
o
o
o
<1,l,1,1>
Exemplo 2.20 Considere a frmula a: xi x2
x,'S
o
o
o
O.
o.
o
o
"
a.
"3X4
o o o
-o o o
o o o
1
1 o
o o o
o o o
o o o
1
1 o
o o o
o o o
o o o
1
1 o
o 1 1
. fr
Tabela 2.16 Implicativos diretos da frmula a.: x 1x? EB x 1 x2 '~ EB x1'x2 'x3
x1~
o 1 o
o 1 o
o o o
o o o
o
1
1
o
1 .1
o o 1
o o 1
X1'S'X3
X l 'Xi'X3
o
o
o
o
o
o
o
o
o
o
o o
o
1
o o
o o
o o
o
o
x1x3
'S'X3
o
1
o
o
o
100
EdUFSCar -Apont4mmto1
x,>s~x4 ';
Xt'S X3X4'
X1JS'x3x 4;
'
X1'SX3X4';
XtJS X3X4,
X1'SX3X4;
X 1 'S~X4 ',
X1'S'SX4.
X1JS X3X4'
1
Note que o primeiro minterm de P, foi marcado em negrito para indicar que no se qualificou
para participar de qualquer aplicao do resultado estabelecido em (2.1 ). A aplicao de (2.1) aos
pares identificados produz o conjunto de produtos: .
Consi~erando
Note que o primeiro minterm de P 2 foi marcado em negiito para indicar que no
se qualificou
para participar de qualquer aplicao de (2.1). Para ambos os p~es de P 2, o produto reduzido por
(2.1) :
Em P 1 e P 2 todos os produtos, exceto x, ''S'x/x4 e 'S~x/, foram usados. Portanto, o conjunto dos
implicativos diretos :
Observao 2.10 Note que o teorema de reduo aplicvel a um par de produtos apenas se um
dos produtos.contm xi e o outro, um x/, e todos os outros literais so iguais. Ess~ observao uti-
A cartilha da lgica
101
1\ . .
' .
Aplicar resultado ax EB ax' = a sempre que possvel, isto , sempre que os dgitos comparados
forem idnticos, exceto por um nico dgito, que ocupa uma determinada posio.
Quando o resultado for aplicvel:
3.3 colocar o novo nmero formado no grupo G~-J caso esse grupo ainda no eontenha
o nmero cm questo.
4. i
~i
Exemplo 2.22 Aplicao do algoritmo Quine-McCluskey forma normal definida pelo conjunto .
de miJ,iterms n,Un_.4, min64, min 104, min 11 4, min 1/ , min 1/ , cujas representaes binrias so, respectivamente: 0001, 0110, 1010, 1011, 1110, 1111.
A Tabela 2.17 mostra o funcionamento do algoritmo. Os grupos da primeira coluna so G1, Gi,
Gj e G!. O algoritmo comea comparando o 0001 de G1 com o O11 O de G~. Como esses nmeros
diferem em trs posies, o resultado (2.1) no se aplica. A seguir, so comparados 0001 com
1010. Novamente, o (2.1) no se aplica, e as possveis comparaes entre os dois primeiros grupos
terminam.
A seguir, so realizadas as comparaes entre os nmeros dos grupos Gi e Gj. O resultado (2.1)
no se aplica ao par O11 O e 1O11, mas se aplica ao par O11 O e 111 O, uma vez que diferem apenas
no primeiro dgito. Ambos os nmeros, O11 e 1O11, so marcados (jl.ag passa a ser 1), e o nmero
O11 O alterado, gerando o novo nmero_ 11 O, que introduzido na segunda coluna de nmeros da
tabela, como parte do grupo G~.
A seguir, 1010 comparado com 1011e1110 na seqncia. O resultado (2.1) aplicvel em
ambas as comparaes; ambos os nmeros so marcados, e os nmeros 1Ol _ e l_ I O so introduzidos na segunda coluna de nmeros da tabela. As comparaes entre os elementos de G~ e de Gj
terminaram, e os.'nmeros llO, lOL . ~ 1_10, criados a partir das comparaes:bem-sucedidas,
-
.Jf-...~~"'
"' ,J P'- l:
.
1 .. J\.1'1
102
EdUFSCar-Apont4mmtos
formam o grupo G~. Os outros dois nmeros na segunda coluna de nmeros, que definem G~, so
os resultados das comparaes de 1O11 com 1111 e de 111 Ocom 1111, respectivamente.
O Passo 4 ento executado - como existem dois grupos de nmeros na segunda coluna de
nmeros da tabela,.o Passo 3 volta a ser realizado. Entre as seis possveis comparaes dos trs nmeros em G~ com os dois nmeros de G~, o resultado (2.1) aplicvel aos pares:
1. 1O1 _e 111 _, que provoca a marcao de ambos os nmeros e a criao do nmero 1_1_ na
terceira coluna de nmeros da tabela (grupo GD e
2. 1_1 Oe l _ 11, que provoca a marcao de ambos os nmeros, mas no a incluso de l _ l _ na
terceira coluna de nmeros da tabela (grupo GD, uma vez que esse padro j se encontra l.
Uma vez que a terceira coluna contm apenas um grupo G~, o algoritmo pra. Os nmeros no
marcados so: 0001 em Gt, _110 em G~ e l_l_ em G~. Os implicativos diretos representados por
esses nmeros so x 1 'x,_'~'x4 , Xix3x4 ' e x1x3 respectivamente.
. Tabela 2.17 Trace do Quine-McCluskey para uma.frmula representada pelos minterms min 14, min64, min104,
4
mmll 'mm,4 'mml5 .
Grupos
(i = 4)
Flag
Grupos
(i = 3)
Flag
Gt
ooor
G~
0110
1010
1
1
G~
- 110
101
1 10
o:
1011
1110
1
1
Gi
1_11
111
-
G:
1111
Grupos
Flag
(i = 2)
1
1
G~
l_l~
1
1
Exemplo 2.23 Na Tabela 2.18 est o trace da aplicao do algoritmo Quine-Mcuskey forma
normal definida pelo conjunto de 16 minterms: ~5 , min, 5, ~5 , min/,
s s s s s s s s s
mm1s '~o ' mm21 ' ~4 ' ~s ' mm26 ' ~1 ~ ~a ' mm29
Tabela 2.18 Trace do Quine-McCluskey para uma frmula representada por 16 minterms ..
Grupos
Flag
(i = 5)
Grupos
Flag
(i=4)
Grupos
Flag
(i = 3)
Grupos
Flag
_,
(i =2)
7
.,,
ag
Gi
00000
00001
00010
01000
10000
1
1
1
G~
G~
. .
Gi
~.
G~
10101
1rno1
11010
11100
o-
000
- 0000
o 001
_0001
_0010
0100
- 1000
1000
100 o
10_00
1000
1
1
1
- 1001
1
1
1
10_01
1 001
1_010
01001 1
10001 1
10010 1
10100 . 1
11000 1
0000
G~
G~
----
G~
1
1
--
__001
- 100_
10_0_
1 00
1
1
1
G~
--00-
G~
1--
..
G31
oo
00
01
1_10_
llO
_ ll_D_;_
1
1
1010_
1 100
1100
no~~ -
11 00
1 101
110 1
11_01
1101 1110
G~
o-
-;
:.;
1
.
P
1
1
1
1
..
104
EdUFSCar -Apont4mmtos
Grupos
Flag
(i = 5)
G~
11011
11101
Grupos
(i = 4)
Flag
Grupos
(i = 3)
Flag
Grupos
(i = 2)
Flag
Aps os implicativos diretos terem sido encontrados, gerada a soma minimal dos produtos, via
construo da tabela de cobertura. Constri-se uma tabela em que as linhas correspondem aos min-
tenns da forma normal que foi entrada para o Quine-McCluskey e as colunas, a,os implicativos diretos encontrados. Tanto as linhas quanto as colunas so nomeadas usando representao binria.
Para o preenchimento de determinadas posies da tabela, o seguinte procedimento adotado:
considere um determinado minterm (ocupando linha i) e um determinado implicativo direto (ocupando coluna j). Sem levar em considerao os hfens da representao do implicativo direto,
comparar os dgitos restantes com os correspondentes dgitos na representao do minterm. Se
forem os mesmos, ento o implicativo direto cobre o minterm e o nmero 1 inserido na tabela,
na posio [ij]. Esse procedimento repetido para todos os pares minterms-implicativos diretos.
O resultado, para o Exemplo 2.23 {Tabela 2.18), est mostrado na Tabela 2.19.
Note que, se a. cobre ~ e se ~ cobre
todo implicativo direto e, portanto, toda soma de implicativos diretos. Conseqentemente, unia
soma minimal de implicativos diretos que juntos cobrem todos os minterms caracteriza uma som:;l
mjnjrnal de produtos equivalente forma normal. Esse conjunto minimal determinado a partir
da tabela de cobertura, por meio da seleo do menor nmero de colunas, de maneira que, considerando as colunas selecionadas, exista pelo menos um 1 en1 toda linha, e o nmero de literais nos
implicativos diretos das colunas selecionadas o menor possvel para este nmero de colunas.
Se uma linha contm apenas um nico 1, ento o implicativo associado coluna correspondente chamado de implicativo direto essencial. Todo implicativo direto essencial deve comparecer no conjunto minimal. Na Tabela 2.19 quatro implicativos diretos so essenciais: _00_0
(nico 1 na linha 3), 110__ (nico 1 na linha 15), __00_ (nico l na linha 2 e tambm nas linhas
. 4 e 6) e 1__O_ (nico 1 nas linhas 9, 11, 14 e 16). As correspondentes colunas so 1, 3, 4 e 5
respectivamente. Como os quatro implicativos diretos essenciais cobrem toda a forma normal,
x2 'x3'x5' EB x 1x2x.j' EB x 3 'x4' EB x 1x4 ' a soma minimal de produtos equivalente forma normal.
Tabela 2.19 Tabela de cobertura para o Exemplo 2.23 com os implicativos diretos essenciais assinalados
com a flecha.
-!00
1
2
3
M
E
R
M
00000
00001
00010
01000
-!-
o l_O_O
llO
-!-!--00- 1 o
~":.
}:)
~.
.,.
~:{
1
1
10000
01001
10001
10010
9 10100
10 11000
ll 10101
12 11001
13 11010
14 11100
15 11011
16 11101
,.
1
1
1
1
1
1
1
1
1
1
..... ..
~
106
EdUFSCar -Apontamentos
0000
0001
1000
0101
1010
0111
1110
1111
T
E
R
- 000
1
1
0_01
10
01 1
1 10
- 111
111
1
1
1
..
1
1
Exemplo 2.24 Considere uma frmula booleana definida pelo conjunto de mintenns min 14, min/,
4 A -r b 1 2 21
4, ~
4, mm
4, mm
4, mm
, mm,
.
d e Quine,;.
.
mm
.la e a '.
mostra o uso d o a1gontmo
6
11
12
13
McCluskey, cujas representaes binrias dos minterms so, respectivamente: 0001, 0100, 0110,
1001, 1011, 1100, 1101e1111.
Tabela 2.21 Trace do Quine-McCluskey para a frmula representada pelos mintenns min 14, min/, min64,
4.
4.
4;
4.
Grupos
Flag
(i = 4)
G~
G~
Gj
G!
0001
0100
0110
1001
1100
1011
1101
1111
Grupos
Flag
(i = 3)
G~
Grupos
Flag
(i ~ 2)
- 001
01_0
- 100
G~
10 1
1_01
110_
G~
1_11
11 1
G~
A cartilha da lgica
107
Xi'x,'x4 , x 1'x2x4', XiX3'x4', X1XiX,' e x 1x4. A Tabela 2.22 a tabela de cobertura, para evidenciar os
implicativos diretos essenciais e, assim, construir as FND minimais.
_001
M
,I
N
T
E
R
M
0001
0100
0110
1001
1100
1011
01
1
o - 100
110
....! '
f~ ... 'a"~.
1
1
,.
1. ..
_}
1101
1111
'
dos trs essenciais, ficam cobertos todos os minterms, com exceo do 1100. Portanto, um implicativo direto precisa ser includo para a cobertura desse minterm; existem duas opes: o _ l 00 ou
o 110_, o que d origem a duas possveis FND minimais: x2'x.;,'x4 x2 'x3x4' x1x4 x2x3'x4' ou
II
x2 X3 X4
fT"I
'U7
IT\
1
'S1X3X4llT\ xlx4' 'U7
X1'S~
l;J:1
Exemplo 2.25 Considere uma frmula booleana definida pelo conjunto de minterms min04, min44,
4
4
4, mm
"
4, ~
4 , mm
: 4 , m.tI\
4, nun
4, mm
4 , mm
mm
14 , mm
15 . A ""J.abela 2 .23 mostra o uso do a15
11
10
"{ .."; ;: t
108
EdUFSC~r -Apontamentos
Tabela 2.23 Trace do Quine-McCluskey para a funo representada pelos minterms min04,
4
'4
4
4.
4.
4.
4.
4
mm
, ~ , 1Illilg , ~ , mm , mm 11 , mm 14 , mm 15
6
10
Grupos
Flag
(i =4)
G~
0000
Grupos
(i = 3)
0100
1000
Gi
G~
o:
010
100_
OI 1
01
011
0110
- 110
1001
10 1
1010
1
1.
1011
1110
1111
(i = 2)
'
0101
0111
Flag
000
10
G~
Grupos
o 00
G~
..
G~
Flag
min/, min/,
G~
101
G~
1 10
1 .
- 111
1 11
lll -
G~
01--
Gi
- 11
10
'
1 1
'
Os implicativos diretos so as expr:esses que no tiveram suas ''flags" L No caso, so as expresses x, 'x3'x4', x,_'x3 'x4', x1'x,_, x1x,_', x,_x3 e x 1x3 correspondentes aos padres: 0_ 00, _ 000; Ol __,
10__, _ ll _e 1_1 _. A Tabela224 a tabela de cobertura, para ~videnciar os implicativos diretos
essenciais e, assim, construir as FND minimais.
Analisando a Tabela 2.24, note que os essenciais so: 01 __ (sem sua incluso o minterm 0101
no fica coberto) e o 10__ (sem sua incluso o minterm 1001 no fica coberto). Com a incluso
dos dois essenciais, ficam cobertos apenas oito minterms dos 11 existentes. Existem vrias possibilidades para a cobertura dos trs restantes e, em razo desse fato, existem 4 possveis fnd minimais,
que so, respectivamente:
A cartilha da lgica
109
.~ ,
M
I
N
T
E
o 00
000
0000
0100
1000
OI
10
0110
1001
1010
0111
1011
1 1
0101
11
1
1
1110
1111
110
EdUFSCar-Apont4mmtos
11
10
A'B'C' A!BC'
ABC'
AB'C'
A'BC
ABC
AB'C
11
10
110
111
100
101
00
i.o
1
AB
A'B'C
,,L ~1
!.
AB
o
1
00
01
000
001
010
.. 011
AB
00
01
11
10
Figura 2.3 Trs maneiras diferentes de definir um mapa de Kamaugh para uma frmula booleana com trs
variveis (A. B e C) ..
AB
CD
00
01
11
10
00
01
12
13
11
15
11
10
14
10
01
11
10
00 0000
0100
01
0101
0111
0110
1100
1101
1000
1001
1111
1011
1110
1010
AB
00
CD
11
10
0001
0011
0010
Figura 2;4 Duas maneiras diferentes de definir um niapa de Kamaugh para uma frmula booleana com
quatro variveis.
A cartilha da lgica
111
Qualquer uma das representaes vlida e sua adoo depende da preferncia do usurio. O
processo de minimizao usando o mapa fundamentado no reconhecimento de padres bsicos.
A presena de Is em clulas adjacentes identifica imediatamente a presena de varivis reduri,,..
dalltes. A Figura 2.5 ilustra alguns exemplos de minimizao em um mapa com 3 variyeis. N~ ,_
~
que o agrupamento de 2 clulas e!imina ma varivel O mapa construdo de tal maneira queas
extremidades podem ser consideradas ..a<ljacentes.
e oo o
B 00
c.
01
11
CB 00
01
01
11
~~l--~4-::::::::::=::F=:::::::::.--1
_.,
01
11
01
11
11'
10
- 1 .
'-'
.'
112
EdUFSCar -Apontamentos
A F~gura 2.6 ilustra uma frmula booleana, cuja representao ocupa apenas uma clula de um
mapa com 4 variveis. As Figuras 2. 7 e 2.8 ilustram o agrupamento de duas clulas em um mapa
com 4 variveis, e a Figura 2.9 ilustra o agrupamento de 4 clulas em um mapa com 4 variveis.
e DB
00
11
01
10
00
~
00
01
01
11
11
10
10
01
11
111
A'BC'D'
ABCD
Figura 2.6 Representao de frmula que ocupa apenas Um.a Clula de um mapa com 4 variveis.
e DB
00
01
11
Jil_
00
/1\
01
~lj_
11
e DB
00
01
00
11
10_
01
11
.10
10
AB'C'D E9 AB'CD =
AB'D
A'B'C'D' E9 A'BC'D' =
A'C'D'
C B 00
D
01
11
OI
11
00
01
01
11
11
10
10
A'B'C'D ffi AB'C'D =
B'C'D
1-------------+----+
A'B'C'D' E9 A'B'CD' =
A'B'D'
Figura 2. 7 Exemplos de minimizao de frmulas que ocupam 2 clulas de um mapa com 4 variveis.
A cartilha da lgica
e DB
01
00
01
11
10
00
01
,, .,
.>tf~.-~
O)
11
+--~---~-+-~~+--~~
10
11
113
1::>
10 .
ABC'D' e ABCD' =
ABD'
A'BCD e ABCD =
BCD
Figura 2.8 Exemplos de minimizao de frmulas que ocupam 2 clulas de um mapa com 4 variveis.
01
1
11
1
l:.~\
01
11
10
10
Figra 2.9 Exemplo de ~hiimiz.ao de frmula que ocupa 4 clulas de um mapa com 4 variveis .
.-
3. A LGICA DE PREDICADOS
Conforme visto no Captulo 1, a Lgica Proposicional um formalismo interessante, mas no mui'
to expressivo, que, em muitas situaes, insuficiente para representar o conbeciment9 a respeito
de problemas e suas solues. A Lgica de Predicados bem mais expressiva e; conseqentemente; .
bem mais complexa. Por ser mais abrangente e geral, a Lgica de Predicados , uma formalizao
adequada para a representao de muitas situaes ou problemas para os quais'no existe um tratamento conveniente por meio da Lgica Proposicional. A Lgica de Predicados ~tambm conhecida
como Lgica de Primeira Ordem ou Clculo de Predicados.
:
(1) Variveis: representadas por uma letra maiscula seguida por uma ca~eia de letras minsculas ou maisculas ou dgitos. Exemplo: X, Xx, YY, Xy, Maria, Z13MN.
(2) Constantes: representadas por letras minsculas ou dgitos, tais como: mar, azul, 3.
(3) Funes n-rias: um smbolo de funo n-ria uma letra minscula seguida por uma
cadeia de letras minsculas ou maisculas ou dgitos, agregado a um conjunto de argumentos, tais como: f(Z), f(a), f2(X,y), mae(X,ana). Para enfatizar a' aridade (nmero de
argumentos) de um smbolo funcional usada a notao smbolo/aridade, referenciada
como funtor. Por exemplo, mae/2.
(4) Predicados n-rios: um smbolo de predicado n-rio uma letra minscula seguida por
uma cadeia de letras minsculas ou maisculas ou dgitos, agregado a um conjunto de
A cartilha da lgica
115
argumentos, tais como: f(Z), f(a), f2(X,y), mae(X,ana). Para enfatizar a aridade (nmero
de argumentos) de um smbolo funcional usada a notao smbolo/aridade, r~ferenciada
.
(conjuno),,).l.~.disjuno), ~(implicao} e ~.(dupla
~':':'t.,
impli-
cao).
( 6) Quantificadores: V (universal) e 3 (existencial).
... ,
tn so termos,
116
EdUFSCar -Apontamentos
So termos
Comentrios
XI
f(c)
f(f{Xl))
No so termos
Comentrios
f(a,b)
p(a,b)
av b
A cartilha da lgica
117
No so termos
Comentrios
f(h(a))
f smbolo funcional com aridade 1, mas seu argumento, h(a), deveria ser um termo, para que f(h(a)) fosse considerado um temio.
O smbolo h;entretanto, no foi definido como smbolo funcional
do alfabeto considerado.
f(-ia)
f smbolo funcional com aridade l, mas ~ no uma constante, uma vez que envolve a negao.
g(b,c,d)
pontuao o da Definio 3.2 e suponha que a varivel X e a constante 1 sejam ambos termos
~
....
'
A. Se soma for um smbolo :funcional de aridade 2 em A, ento so termos:
~::
~.J&:
soma(X,l);
soma(soma(X,1),1);
soma(X~soma(X,1));
,' soma(soma(X, 1),soma(soma( l ,X), 1)), etc... .
:..;
Exemplo 3.3 Como formalmente ser definido na Definio 3.9, frmulas atmicas so bem-for-
madas e podem ser combinadas por meio de conectivos lgicos, formando novas proposies .
._.. (a) Considete; por exemplo, que rnae/2 um smbolo predicado da linguagem, e que ana e maria so dois smbolos constantes (ou seja, so termos). A frmula atmica mae(ana,maria)
pode ser usada para expressar que ana me de maria e,.ento,.pode ser par.te de.uma frmula composta, tal como:
'
guagem ~ que cariri, cau<ja e.rp~om sejam trs smbolos constantes. A,s fpnu]as at;:
.,
118
EdUFSCar ~Apontamentos
micas
cachorro(cariri), tem(cariri,cauda)
e cor(cariri,mrrom)
podem ser combinadas na
.
.
.
.
.
frmula composta:
cachorro(cariri) "tem(cariri,cauda) " cor(cariri,marrom)
para exprimir que um cachorro identificado como cariri tem cauda e tem cor marrom.
Definio 3.4 Se p um smbolo predicado n-rio e t 1, i' .. ~, tn so termos, ento p(t 1, 1i, ... , tn) um
a frmula qual o
quantificador se aplica.
\.
Exemplo 3.5
q(X)).
esti dentro do escopo do quantificador ou, ento, . a ocorrncia que segue imediatamente o .quantificador. A ocorrncia de uma varivel em uma frmula livre se e somente se a ocorrncia da
varivel no ~or ligada.
A cartilha da lgica
119
Definio 3.7 Uma varivel livre em uma frmula se pelo menos uma ocorrncia da varivel for
livre na frm~a. Uma varivel ligada em uma frmula se pelo menos uma ocorrncia da varivel
,,
for ligada.
1{
Definio 3.8 Uma frmula fechada uma frmula que no tem ocorrncia livre de qualquer v'-rivel.
Exemplo 3.6
(a) Na frmula
(3X p(X~Y)) V q(X)
as duas primeiras ocorrncias de X so ligadas e a terceira ocorrncia livre, uma vez que o escopo.
de 3X p(X,Y). A varivel Y livre na fnnula.
(b) Na frmula
3X(p(X,Y) V q(X))
(e) Na frmula
('\iX p(X,Y))
uma vez que ambas as ocorrncias de X so ligadas, a varivel X ligada. A varivel Y, entretanto,
livre, uma vez que a nica ocorrncia de Y livre.
(d) Na fnnula
,
..
120
EdUFSCar -Apontamentos
(a)
(-,a)
(a A~)
(a V~)
(a~
f3)
(a~
f3)
(-4) se a. for uma frmula e X for uma varivel livre em a., ento ('VX a.) e (3X a.) so frmulas;
(5) frmulas so geradas apenas por meio de um nmero finito de aplicaes de (1), (2), (3) e (4).
Exemplo 3. 7 Considerando o alfabeto A do Exemplo 3 .1, a Tabela 3 .2 mostra exemplos de frmulas e no-frmulas.
Tabela 3.2 Exemplos de frmulas e no-frmulas considerando o alfabeto A.
So frmulas
p(a,a)
q(Y)
Comentrios
a uma constante do alfabeto e, conseqentemente, um termo, e p um smbolo predicado de aridade 3.
Y uma varivel do alfabeto e, conseqentemente, um termo, e q um siibolo predicado de aridade 1.
..
(r(b,f(c)) A p(a,a))
(-,3Xl (q(f(Xl))))
q(g(Xl ,a,f(f(f(a)))))
A cartilha da lgica
121
No so frmulas
(V'a p(a,a))
Comentrios
a no uma varivel.
r(a,b,c)
frmula valida.
q(c) no um termo, e sim uma frmula; conseqentemente,
no pode ser usado como argumento de um smbolo predica-
p(a,q(c))
g(a,Y,X2)) g(a,Y,X2) no uma frmula, mas sim um termo; conseqentemente, a expresso toda no vlida.
Definio 3.10 Um termo ground uni termo que no .contm variveis; de maneira semelhante,
uma frmula ground uma frmula que no contm variveis.
fff<
Exemplo 3.8
(a) . Consider~ o alfabeto A do Exemplo 3.1. Os termos g(a,b,a), g(g(a,b,a),b,c), f(a), f(g(a,b,c))
so todos grourz4. J .<?S termos g(Xl,a,b), f(X2), g(f(Xl),a,b) no so ground.
Definio 3.11 A linguagem de primeira ordem A. dada por um alfabeto o conjunto de todas as
frmulas bem-formadas que podem ser construdas a partir dos smbolos do alfabeto.
Definio 3.12 Se a for uma frmula, ento 'v'(a) denota ofechamento universal de a, que a
frmula fechada obtida pela adio de um quantificador universal associa"do a cada varivel que
ocorre livre em
122
EdUFSCar--:- Apontamentos
1 2,
Lq.
Analogamente ao que foi descrito na Seo 1.6.4, uma clusula pode ser representada pelo conjunto finito de seus literais. Uma vez que clusulas so bastante comuns em Programao Lgica,
conveniente adotar uma notao clausal conveniente. Reescrevendo a clusula anterior, identificando os literais positivos dos negativos, tem-.~e:
na qualA 1 ,~, ,Am, B 1, B2, ..., Bn so tomos e XI'~' ... , XP so as variveis que ocorrem nos
tomos. Mudando a notao, pode-se escrever que:
r(X~Y)
v -.s(Z) V t(X,Z)))))
JJ
'v'XVY'v'Z(p(X,a,b) v -,q(b,Z) v r(X,Y) v -.s(Z) v t(X,Z))
JJ
'v'XVY'v'Z(p(X,a,b) v r(X,Y) v t(X,Z) v -..,q(b,Z) v -.s(Z))
JJ
'v'XVY'v'Z(A 1 v ~ v A3 v B1 v B2) na qual
A 1 = p(X,a,b); ~ = r(X,Y); A3 = t(X,Z); B 1 = q(b,Z); B2 = s(Z) (M=3 & n = 2)
JJ
A cartilha da lgica
123 .
..
Fit~~
Definio 3.15 Uma clusula definida de programa uma clusula que contm exatamente unf~,
literal positivo. Tem a forma:
A+-- B 1 " B 2 "
cabea
\.
... /\
B11
j
corpo
A+ou seja, uma clusula de programa (ou uma clusula definida de programa) com um corpo vazio.
Em terminologia Prolog, tal clusula denominada/ato ou, ainda, clusula definida incondicional
e simplesmente denotda por A.
Definio 3.18 Uma clusula meta uma 'Clu8Ulaniffonna;
ou seja, uma clusula que no tem cabea. Cada Bi (1 5 i 5 n) chamado de submeta da clusula meta.
Observao' 3.7 Se YI' ... , Y1 so as variveis da clusula meta+-- B 1 "B2 A
clausal uma simplificao de .
... A
124
EdUFSCar -Apontamentos
ou, equivalentemente,
clusula meta. Isso significa que uma clusulade Horn contm no mximo um literal positivo.
Observao 3.8 importante lembrar que duas frmulas a e p so equivalentes (a
=J3) se e
p))
(3X (-.a[X]))
(V'X (-.a[X]))
Prova de (e):
Seja I uma interpretao arbitrria sobre um domnio D.
se -.(VX a[X]) verdade em I, ento (VX a[X]) falso em I. Isto significa que existe um
elemento e em D tal que a[e] falso, isto , -,a[e] verdade em I. Portanto, (3X (-.a[X]))
verdade em I;
se -.(VX a[X]) falso em I, ento.(VX a[X]) verdade em I. Isto significa que a.[X] verdade para todo elemento X em D, isto , -.a[X] falso para todo elemento em D. Portanto,
(3X (-.a [X])) falso em I.
Desde que -.(VX a[X]) e (3X (-.a[X])) sempre assumam o mesmo valor-verdade para toda
interpretao arbitrria, por definio: -.(VX a[X])
=(3X (-.a[X])).
A cartilha da lgica
12s
Considere que a e f3 sejam duas frmulas expressas usando a varivel X e, por essa x:azo, ambas
sero notadas como a[X] e f3[X], respectivamente. As seguintes equivalncias so vlida5:
(e) (V'X a.[X]) /\ (VX f3[X])
(f) (3X a[X]) v (3X f3[X])
':' ''
~' ;. .
:~~;"
,.,.
(~
/\~[X]))
a[2]
J3[1]
J3[2]
Pode-se dizer, ento, que (VX a[X]) e (V'X J3fX]) so falsos. Portanto, (\;:/X a.[X]) v('v'X f3[X]),;.::
falso. Por outro lado, a frmula ('v'X(n[X]v~[X])) sempre avaliada verdade .em.!, pois, para:
X= 1 =::> a[l] v
X
~[1]
=verdade
Uma vez que toda varivel ligada em uma frmula pode se~ considerada uma varivel dummy,
toda varivel X pode ser renomeada Z e a frmula (V'X J3[X]) toma-se ('v'Z J3[Z]), isto , (VX J3[X])
= ('v'Z J3[Z]). Suponha que seja escolhida a varivel Z que no aparece em a(X]. Ento,
(a)
De maneira similar,
(b)
Emgeral, tem-se:
(Q 1X a[X]) v (Q~ f3[X])
=(Q 1X(Q:z2(a[X]v13[Z])))
126
EdUFSCar-Apontllmmtos
Q4 = 'V, no preciso a renomeao das variveis Xs em (QzX) f3[X] ou (Q4X) f3[X] e pOde-se usar
(f) e (e) diretamente.
CONHECIMENTO
Esta seo inicialmente apresenta algumas sugestes e diretivas de como abordar o processo de traduo de uma expresso em lngua natural (no caso, portugus) para a linguagem da Lgica de
P1edieados. Na subseo seguinte so apresentados vrios exemplos de traduo de expresses em
portugus para a Lgica de Predicados~
As trs sentenas indicam quo freqentemente determinadas situaes acontecem (ou no). Na
Lgica de Predicados, dois quantificadores so utilizados neste contexto: o universal, que relaciona
uma determinada assertiva a todos os indivduos de um certo domnio, e o existencial, que relaciona a assertiva a alguns indivduos do domnio.
Sentenas contendo palavras tais como 'tudo', 'cada' e 'todos' usualmente indicam quantificao universal. Tais assertivas devem ser parafraseadas usando a expressq "para todo X" que,
ento, traduzida para 'VX .
. Para a representao da sentena (1), se a situao 'tiram frias de vez em quando' for representada pelo predicado ferias, ento, ferias(X) significa que X tira frias de vez em quando. A palavra
'todos' indica que a assertiva se.refere a todos os indivduos do domnio considerado, o que leva
representao ('VX ferias(X)).
Considerando a assertiva (2) e que o domnio considerado seja o domnio de animais, ento,
primeiramente, deve-se encontrar o escopo do quantificador universal que, no caso, "se X for
um cachorro, ento X tem uma cauda". Considerando os predicados cachorro e temcauda com
aridade l, a assertiva (2) pode ser representada em Lgica de Predicados por (V'X (cachorro(X) ~
temcauda(X))). Outra maneira de representar essa assertiva (V'Y (cachorro(Y) --1' temcauda(Y))),
desde que Y seja tambm um smbolo de varivel vlido no alfabeto que est sendo consideradO ..
.
,.. .
J as palavras 'algum', 'alguns' e 'pelo menos um' sugerem quantificao existencial~ deve~do
ser parafraseadas como "existe um X tal que", traduzido por 3X. Portanto, considerando o domfuio
de pessoas e que o predicado p representa 'gostam de peixe cru', a sentena (2) pode ser expressa
em Lgica de Predicados por (3X p(X)).
Os quantificadores V'X e 3X devem ser tratados como se fossem conectivos unrios, com prioridade mais alta do que qualquer conectivo binrio. Em uma situao em que p(X) representa 'X
est vivo' e que q(X) representa 'X est morto\ a representao correta de que tudo ou est vivo
ou est morto (V'X (p(X) v q(X))), e no (V'X (p(X)) v q(X), que significa que tudo est vivo ou
que um determinado elemento do domnio est morto (em razo_da atribuio varivel, parte da
avaliao de uma frmula, vista em XX).
Quantificadores podem aparecer aninhados, como na representao da assertiva "Existe algum
que conhece todo mundo". Suponha que o predicado conhece(X,Y) representa que X conhece~>
A melhor maneira de abordar a representao da assertiva por partes. Informalmente, pode-se
escrever 3X(X conhece todo mundo). A sentena ~x conhece todo mundo" significa que para todo
Y, X aonhece Y, o que pode ser representada por (V'Y conhece(X,Y)). A expresso final : (3X(VY
conhece(X,Y))).
Considere agora a assertiva "Todos tm algum por me". Usando o predicado mae(X,Y) para
repre~entar
... .
. .
'
,: .-~... ...
128
EdUFSCar -Apontamentos
Por outro lado, s~ o uso do quantificador existencial deve ser restringido, uma conjuno deve ser
usada.
A converso de assertivas que contm a palavra 'apenas', tal como "Apenas cachorros latem",
exige uma reescrita tal como "Late apenas se for cachorro" ou, equivalentemente, "Se late,- ento
cachorro", representada por ('VZ (late(Z) ~ cachorro(Z))).
( 1) SENTENA
Ana estudiosa.
LGICA DE PREDICADOS
estudiosa(ana)
SENTENA
LGICA DE PREDICADOS
SENTENA
LGICA DE PREDICADOS
festa(maria) v teatro(maria)
SENTENA .
Gabriel no programador.
LGICA DE PREDICADOS
-,programador(gabriel)
LGICA DE PREDICADOS
primos(pedro,guilherme)
A cartilha_ da lgica
(6)
SENTENA
129
LGICA DE PREDICADOS
......,pnmas(mana,ana) "VJzmhas(mana,ana)
:i?
.
?w. "'
Frmula composta conjuntiva. O primeiro literal tem por smbolo predicado primas, e o '/;~
segundo, vizinhas. Ambos os smbolos so aplicados aos termos mari2 e ana~ que so smbolos constantes.
(7) SENTENA
se a funo fl
LGICA DE PREDICADOS
diferenciavel(fl) ~ continua(fl)
(8)
SENTENA
.,
c1ave.
1
t.
continua(f2) "-,diferenciavel(f2)
..........
~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~
(9)
LGICA DE PREDICADOS
SENTENA
faltou(antonio) /\ ....,faltou(ana)
Frmula composta conjuntiva, cujo nico predicado envolvido faltou, e os termos empregados so as constantes ana e antonio.
( 1O) SENTENA
LGICA DE PREDICADOS
(
(p dr
)
dr ))
a1to e o,ana /\ a1to ana,an e
alta que Andr, ento Pedro mais alto que
(p dr
dr )
alto e o,an e
Andr.
Frmula composta condicional, cujo antecedente uma conjuno. O nico smbolo predicado utilizado alto. Trs smbolos constantes foram usados: pedro, ana, andre.
(11)
..
Maria l jornal.
SENTENA
LGICA DE PREDICADOS
. le(maria,jornal).
F)imula atmica, cujo smbolo predicado le e com dois argumentos, que so,os termos
constantes maria e jornal.
..
}~~- .,
130
EdUFSCar-Apontammtos
( 12) SENTENA
- LGJCA DE PREDICADOS
gosta(mae(maria),maria)
Frmula atmica, cujo smbolo predicado gosta. Um dos argumentos o smbo~o funcional mae, com aridade-1. O nico smbolo constante maria,::que. usado tanto como
argumento do smbolo funcional mae quanto do smbolo predicado gosta.
LGicA DE PREDICADOS
(13) SENTENA
( 14) SENTENA
Todos os homens so mortais.
LGICA DE PREDICADOS
('v'X mortal(X))
Frmula quantificada universalmente, cujo nico smbolo predicado usado mortal. Est
subentendido que o domnio o conjunto dos seres humanos. Na eventualidade do domnio ser, por exemplo, seres yivos, a sentena em lngua natural seria: ('v'X (homem(X) ~
mortal(X))).
(15)
SENTENA
LGICA DE PREDICADOS
. (3X mortal(X))
Frmula quantificada existencialmente, cujo nico smbolo predicado usado mortal. Est
subentendido que o domnio o conjunto dos seres humanos. Na eventualidade do domnio ser, por exemplo, seres vivos, a sentena em lngua natural seria: (3X (bomem(X) /\.
mortal(X))).
( 16) SENTENA
LGICA DE PREDICADOS
(V'X -.mortal(X))
(17) SENTENA
. LGICA DE PREDICADOS
- - - - - - - - - - - - - - - - - - ' - - - - - - - - - - - - - - - - -...~!1~-
Frmula quantificada existenqialmente, cujo nico smbolo predicado usado late: Est
subentendido que o domnio
: 1;~.
Lgica estaria incorreta se fosse escrita como: (3X late(X) /\ -,late(X)), uma vez que a .
sentena estaria afirmando que existe um objeto do domnio (um cachorro, no caso) que .
late e que no late.
(18)
SENTENA
LGICA DE PREDICADOS
_
(3X bondosa(X)) A-~VX bondosa(X)}
todas as pessoas sao bondosas.
.
Cqnsiderando o domnio dos seres humanos, essa uma frmula composta (conjuno)
que pode ser lida como: existem pessoas que so bOndosas e no verdade que todas as
pessoas so bondosas .
. (19) SENTENA
LGICA DE PREDICADOS
c.....v
. di (X))
v A-,estu oso
LGICA DE PREDICADOS
SENTENA
(21)
LGICA DE PREDICADOS
SENTENA
LGICA DE PREDICADOS
SENTENA
(3X engorda(X)))
-_../ : ~ ~- : ~- J ... .
J ~.. -
132
Ed UFSCar.,.. Apontamentos
(23)
LGICA DE PREDICADOS
SENTENA.
Alguns alunos estudam, e nem todos os alu- (3X estuda(X)) "-.('v'X estuda(X))
nos estudam.
.
Frmula composta:(conjuno), cujo domnio o conjunto de estudantes.
(24) SENTENA
i .
LGICA DE PREDICADOS
Todo aluno mais novo que alguns profes- ('v'X (aluno(X) ~ (3Y(professor(Y)
sores.
maisnovo(X, Y)))))
(25)
LGICA DE PREDICADOS
SENTENA
-.('v'X (passaro(X)
voa(X)))
LGICA DE PREDICADOS
...
Alternativamente, a sentena em Lgica de Predicados poderia ter sido escrita como ('v'X
(crianca(X) ~ maisnova(X,mae(X)))). Note que nesta expresso mae/l usado como smbolo funcional; na expresso anterior, mae/2 um smbolo predicado.
(27) SENTENA
Nenhum nmero natural negativo.
LGICA DE PREDICADOS
--,(3X negativo(X)) .
(28)
LGICA DE PREDICADOS
SENTENA
Pr-condio: o domnio o conjunto dos nmeros naturais. Os dois predicados :usados ~~: ..
so: primo e par, ambos com aridade 1. O nico termo que comparece na
varivel X.
Todos os nmeros pares so maiores que 1. (V'X (par(X} ~ maior(X, 1)))
Pr-condio: o domnio o conjunto. dos. nmeros naturais. Os dois predicados usados
so: par e maior, com aridade 1 e 2, respec~ivamente ..Os dois termos que comparecem na
expresso so: varivel X e constante 1.
Nmero pares so primos apenas se forem
.
.
.
:
('VX ((par(X) /\ pnmo(X)) ~ menor(X,3)))
menores que 3.
.
Pr-condio: o domnio o conjunto dos nmeros naturais. A frmula usa trs predicc.tdos: .~: .,,,.
par, primo e menor. Os dois primeiros cmn: aridade 1 e o segundo com aridade 2.
O~dois<j::
Pr-condio: o domnio o conjunto dos nmeros naturais. A frmula usa dois predicad()s: primo e menor. O primeiro com aridade 1 e o segundo com aridade 2. Os dois termos
usados so: a varivel X e a constante 3.
(1) o domnio;
(2) atribuies a constantes, smbolos funcionais e smbolos predicados que ocorrem na lin-
134
EdUFSCar -Apontamentos
Definio 3.22 Uma interpretao I de uma linguagem de primeira ordem2_. consiste em:
1. um conjunto no-vazio D, chamado de domnio da interpretao, no qual variveis iro
assumir valores;
2. atribuio a cada:
smbolo constante de , de um elemento de D;
smbolo funcional n-rio de A., de uma funo de D1 ~ D;
smbolo predicado n-rio de A., de uma funo de D1 ~ {v, f}.
Observao 3.9 Cada interpretao especifica um significado para cada smbolo da linguagem.
Essas atribuies definem a semntica da linguagem de primeira ordem.
Observao 3.10 Para uma dada interpretao, uma frmula bem-formada sem variveis livres
representa uma proposio que verdadeira ou falsa, enquanto uma frmula bem-formada com
variveis li~es representa uma relao no domnio de interpretao que pode ser verdadeira para
alguns valores no domnio da varivel livre e falsa .para outros.
Definio 3.23 Seja I uma interpretao de uma linguagem de primeira ordem . Uma atribuio
varivel (com relao a I) a atribuio a cada varivel em!.. de um elemento do domnio de I.
Deieio.3.24 Seja I uma interpretao de uma linguagem de primeira ordem , com domnio D.
Seja A uma atribuio varivel com relao a I. Uma atribuio a termos (com relao a I e a A),
para os termos de . definida da seguinte maneira:
a cada varivel dada uma atribuio de acordo com A;
a cada constante dada uma atribuio de acordo com I;
se t 1', , tn' so as atribuies de termos dos termos t 1, ... ,tn e se f' a atribuio a f, ent_o
f'(t 1', ,tn') e D a atribuio de termo de f(t 1, ,tn).
Definio 3.25 Seja I uma interpretao de uma linguagem de primeira ordem A., com domnio D.
Seja A uma atribuio varivel com relao a I. Uma frmula em 'A. pode ser avaliada, isto , a ela
pode ser atribudo o valor-verdade v ou f (com relao ~ I e a A):
1. Se a frmula um tomo p(tl' ... ,t), ento o valor-verdade obtido calculando o valor de
p'(t, ', ... ,tn'), no qual p' a funo associada a p por I e t 1', , tn' so as atribuies de termo
dos termos t 1, , tn, com relao a I e A.
2 Algumas vezes, a definio de uma interpretao pode ser dada com relao a uma frmula
guagem
de primeira ordem . - a definio a mesma, exceto que . deve ser substituda
por a..
.
.
A cartilha da lgica
p, a
135
.;.,!
-,.:
a/\ f3
av . ~
a.~~
Cl~
f3
~?~
..
3. Se a frmula da forma (3X a), seu valor-verdade v, se existe d e D tal que a tem valorverdade v com relao a I e a A(X/d) (A(X/d) A exceto que a X atribudo o valor d); caso.
'contrrio, seu valor-verdade f . .
4. Se a frmula da forma (V'X a.), seu valor-verdade v se, para todo d e D, a tem valorverdade v com relao a I e a A(X/d) (A(X/d) A exceto que a X atribudo o val,pr d); casp
contrrio, seu valor-verdade f.
& ,..
Smbolo constante - a
Smbolo variv
~
~
.136
EdUFSCar -Apontamentos
.
.Atribuio a variveis:
1TIE
~tribuio a smbolos funcionais:
p(l)
p(2)
r(l)
r(2)
para X= 1
p(X) --+ q(f(X),a)
p(l)
--+ q(ftl),a)
p(l)
--+ q(2,l)
--+V
p(X)
--+ q(f(X),a)
p(2)
--+ q(ft2),a)
p(2)
--+ q(l,l)
--+
(avaliada v)
para X= 2
(avaliada v)
l]roa vez que a frmula (p(X)-+ q(f(X),a)) v para todos os elementos X do domnio D, a: (V'X
A cartilha da lgica
137
Para X= 1
p(X)
q(f(X),a) "p(Z)
p(l)
q(f(l),a) "p(2)
p(l)
q{2,l)
V/\ V
4V
p(X)
q(f(X),a)" p(Z)
p(2)
q(f(2),a) /\ p(2)
p(2)
q(l,l)
V/\ V
~.< '
/\V
(ava'ada v)
ParaX=2
/\V
(avaliada v)
Como a frmula
de
H
~valiada
acordo com a interpr~o dada v. Note que se a atribuio a variveis considerada fosse tal qu~~
z --
comparece na frmula~)
y: ('v'X(3Z((p(X)
q(Z,X))
~r(Z))))
Para X= 1
;
Z=l (p(l)
Z=2 (p(2)
Z=l (p(2)
Z=2 (p(2)
ParaX=2
A frmula y interPretada como v, uma vez que, para qualquer valor de X, xiste um valor de
Z que a toma v.
. ..: . .
138
EdUFSCar -Apontttmmtos
(avaliada f)
t\
-ir(2) (avaliada v)
A frmula
\jl
(avaliada t)
(avaliada v)
v na interpretao dada, uma vez que existe Y (Y=l) e existe X (X=2), que tor-
Para X= 1
(avaliada v)
X=l q(l,l)
p(l) (avaliada f)
Exemplo 3.12 Considere uma linguagem . que s tem o smbolo funcional p/2 e por .variveis,
os smbolos:
= {a,b,c}
e associa ao
p(a,b)
p(a,c)
p(b,a)
p(b,b) p(b,c)
V
p(c,a)
p(c,b)
p(c,c)
Para X=b, Y =a torna a frmula f e, portanto, uma outra instanciao para a varivel
X=b
Ytentada.
.
Y=b p(b,b) =V
Para X=b e Y==b a .frmula p(b,b) == v.
Y=a p(b,a) = f
Para X=c, Y=a torna a frmula f e, portanto, uma outra instanciao para a varivel
X=c
Y tentada.
Y=b p(c,b) =V
Para X=c e Y=b a frmula p(c,b) v.
Y=a p(c,~) = f
140
EdUFSCar-Apontammtos
Y= a p(a,a) = v
Y = b p(b,b)= V
Y=c p(c,c)=v
Como p(a,a), p(b,b) e p(c,c) so interpretada5 v, a frmula (VYp(Y,Y))) interpretada v.
(d) Determinar o valor-verdade da frmula (3X(3Yp(X,Y)).
Qualquer outra entre as seis possveis combina X = a Y = a p(a,a) = v es que tomam a frmula v poderia ser considerada tambm.
.
X=c Y=a p(c,a) = f Vale o mesmo comentrio anterior, dado que p(c,a)=f.
. Como (VY p(a,Y)) = f, ('VY p(a, Y)) = f e (VY p( a, Y)) = f, a frmula (3X(VYp(X,Y))) = ' o que
faz com que a avaliao da frmula ('VYp(Y,Y))" (3X('VYp(X,Y))) seja f.
Observao 3.12 Os axiomas de uma teoria de primeira ordem so um subconjunto de frmulas
fechadas da linguagem da teoria.
Definio 3.27 Seja t uma teoria de primeira ordem e seja . a linguagem de t. Um modelo para t
A cartilha da lgica
141
Definio 3.28 Seja S um conjunto de frmulas fechadas de uma linguagem de primeira ordem e
seja 1 uma interpretao de . 1 um modelo para S, se 1 for um modelo para cada frmula de.$ ...
; ;_
'
Observao 3.13 Ndte que se S = {F 1, ... ,Fn} um conjunto finito de frmulas fechadas, entd;~
'~
um modelo para S se .e somente se 1 for"Ulllmodelo para F1 A /\ F.
Definio 3.29 Seja S um conjunto deTrnulai;'feehadas de uma linguagem de primeira ordem J..:
Definio 3.30 Seja S um conjunto de frmulas fechadas de uma linguagem de primeira ordem
.. Seja F uma frmula fechada de .. Diz-se que F conseqncia lgica de S se, para toda interpretao Ide , I for um modelo para S, I tambm um modelo para F. Se S = {F 1, ,Fn} foi;o
conjunto de frmulas fechadas, ento a frmula fechada F conseqncia lgica de S se e someii'fo
se a frmula
F1 A
Teorema 3.1 Seja S um conjunto de frmulas fechadas de uma linguagem de primeira ordem ..
Seja a uma frmula fechada de .. Ento
F conseqncia lgica de S se e somente se S v {-.a} for insatisfatvel.
Prova:
Suponha que a seja conseqncia lgica de S. Seja I uma interpretao de . e suponha que
I seja um modelo para S. Ento, I tambm um modelo para F. Portanto, I no um modtdo
para S u {-.a.}. Assim, S u {-,a} insatisfatvel.
Suponha agora que S u {-,a} seja"f~fatisfatvel. Seja 1 uma interpretao de .. Suponha
que I seja um modelo para S. Desde que S u {-.a} seja insatisfatvel, I no pode ser um
modelo para -,a, o que toma 1 um mode1o para a, ou seja, a cons~qncia lgica de S.
Exemplo 3.13 Seja S = {p(a), (VX(p(X)--> q(X)))} e seja a a frmula q(a). Seja I um modelo para
S. Assim, p(a) verdade com relao a I. Segue disso e da verdade de (VX(p(X) ~ q(X))) em I que
q(a) deve ser v com relao a L
Observao 3.14 Como discutido, a conseqncia lgica pode ser reduzida ao teste de insatisfatibilidade de uma frmula na form,.a conjuntiva. Em Lgica Proposicional posS.i~,el, eo,~erar todas
.
'
. . . ..;.,_~ _;
'>;;
......
1,42
EdUFSCar ""'."'Apontamentos
as atribuies de valores-verdade para testar insatisfatibilidade. Em Lgica de Predicados, entretanto, ser necessrio enumerar todas as estruturas para usar essa abordagem, o que a toma inexeqvel, uma vez que exi_stem infinitas dessas estruturas. Felizmente, entretanto, existe uma maneira
de decidir sobre insatisfatibilidade por meio do.exame de.apenas uma estrutura. Para _cada frmula
existe um domnio especial - chamado de universo de Herbrand - e uma funo especial, com base
na interpretao de Herbrand, tal que apenas estruturas usando esse domnio e esS funo devem
ser consideradas. Isso discutido em detalhe no Captulo 5.
t
~-
'
li
j
1
~ - :~ :;
'.t~;
idntiea~t
e fundamenta-se no conceito de substituio, que troca variveis por termos e que definido na
Definio 4.2.
}
11
e 0 Jv
e V}.
maneira:
ti se x=vi
e(x) = { x caso.contrrio
Definio 4.3 Seja
:;
..
Definio 4.4 Seja e= {t/v1, t/v2, ,t,/vu.} uma substituio e seja E uma expresso. Ento, E0
uma expresso obtida a partir de E substituindo simultaneamente cada ocorrncif da varivel vi (1
~ i ~ n) em E pelo termo ~- O resultado da operao E0 chamado de instancia~o de E por 0.
Exemplo 4.1 Uma substituio troca variveis por tennos. Por-exemplo, na
cl~,p(X) ,v q(X),
a varivel X pode ser substituda pelo termo f(a), e uma nova clusula p(f(a)) ~ q(f(a)) obtida.
Considerando que clusulas so universal.mente quantificadas, pode-se dizer qu~ esta substituio
toma a clusula "menos geral". Note, entretanto, que a segunda clusula uma c{.>nseqncia lgica da primeira, ou seja:
!
p(X) v q(X)
1
1
1= p(f(a)) v q(f(a)).
i.
1
.,.I'
Exemplo 4.3 A Tabela 4.1 mostra quatro instanciaes do literal p(X,f(Y),b}obti?as usando quatro
substituies diferentes.
1:
Instanciao resultante
p(Z,f(W),b) .
{a/Y}
p{X,f(a),b)
{g(Z)/X,a/Y}
p(g(Z).f(a),b)
'
'
{c/X,a/Y}
p(c,f{a),b)
. i
Observao .4.3 importante que qualquer
substituio 9 seja idempotente.
Isso ~igni:fica
que, para
.
.
t
qualquer expresso E, 9 deve ser tal que-Er= (E9)9. Isso, por sua vez, exige gue para qualquer
substituio {t/v1, t/v2, ... ,1nfvn} nenhuma das variveis vi deve ocorrer em qualquer dos termos tf
.
f
~}.Ento,
Ecr 1 =
p(X,Y){Z/X, a/Y} = p(Z,a). Aplicando novamente a substituio ao resultado ob,,tido, tem-se (Ecr 1)
Exemplo 4.4 Considere a expresso E= p(X,Y) e a substituio cr1 = {Z/X,
Exemplo 4.5 Considere a mesma expresso anterior E= p(X,Y) e a substituiq a2 = {Y/X, a/Y}.
Ento; Ecr2 = p(X, Y) {Y/X, a/Y} = p(Y,a). Aplicando novamente a substituio a~ resultado obtido, .
tem-se (Ecr2)cr2 = p(Y,a)cr2 = p(Y,a){Y/X, a!Y} = p(a,a). A substituio a 2 no /idempotente uma
i
1
1
'
]={t/x
e= {u/y
1,
11
1,
}i
,,
Substitui~ e Substituio e1
'
{f(Z)/Y}
{f(Y)/X,U/.i}
{a/X,a/Y}
{Y0 1/X,a/X,a/Y}
{p(X,Y)/Z}
{b/Y, Z/U}
{Y/X}
Substituio composta 08 1
{a/X,b/Y,c/
J W,d/Z}
= {a/X,a/Y}
{p(X,Y)0/Z,a/X,b/Y,c/W,d/Z}
{p(a,b )/Z,a/X,b/Y,c/W}
Exemplo 4. 7 Considete a expresso W-= p(Ul ,g(Vl ;,V2'-e a:s "SUbstituies e1 = {f(Vl)/Ul} .e 02
.
(a)
we 1 = p(U1,gtv1),V2)0 1 =p(f(Vl),g(Vl),V2)
:1
c0 1 /Ul~'f(Vt)/Ul'Y="'{WV1,1>!V2, c7Ul}
'
i
1
O Exemplo 4.7 (a) ei(d), bem como (b) e (e), mostram isso.
,
.,
(0 10)02 = 0 1c002)
Observao 4.5 Pode ~er mostrado que a composio de substituies associativa, ou seja:
i
.;
146
EdUFSCar - Apontamentos
No procedimento de prova de teoremas por resoluo comum ter de unificar duas ou m_ais
expresses. A prxima definio contempla essa situao.
Observao 4.6 A composio de duas substituies que satisfazem a propriedade de ~cionali
O conjunto {E 1, E2,
Exemplo 4.9 Considere as expresses E 1 = p(a,Y) e E2 = p(X,f(b)). O conjunto {E 1, E2 } unificvel. A substituio 0 = {a/X,f(b)/Y} uma unificadora do conjunto, uma vez que: E 10 = E28 =
p(_a,f(b)), ou seja, {E 1,B2}0 =,{p{a,f(b)) }.
Observao 4.7 No Exemplo 4.5, embora 0
p{X,f(b),b)}.
A mgu do conjunto de expresses = {b/Y} e {p(X,f(Y),b), p(X,f(b),b)} = {p(X,f(b),b),
p(X,f(b),b)} = {p(X,f(b),b)}.
Considere uma substituio unificadora e = {a/X, b/Y}. Tem-se: {p(X,f(Y),b), p{X,f(b),b)}
Decidiu-se por manter a identificao mgu (most general unifier) para referenciar a substituio que a unificadora
mais geral de w:h conjunto de expresses.
A cartilha da lgica
147
= {a/X}
= {b/Y,a/X}
e, portan-
p(a,f{b),b)}} = {p(a,f(b),b)}.
,.~.,:.
"'
.........
t~
Procedimento 4.1 Procedimento para a unificao de -duas ex.p:resses..E.1.-e E2...Se-as-.expresses .sG-unifi- : :_.
cv-eis, oprocedimento retoma a mgu das duas expresses; se no forem unificveis, o procedimento falha.
recursive procedure unif.KE1,E2)
els e
if El is a variable
then
ifEl occurs in E2
then retumfaO
else return {E2/El}
else
if E2 is a variable
then return fRl /~
else returnfa
G2 ~ result of applying Z 1 to T2
Z2 ~ uniff(G1,G2)
ifZ2=fail
then return/ai/
else return thc compQ!!itiO? of Zl and Z2
end
end/
.. .,,
.
148
;
i
EdUFSCar-Apontamentos
l
1
pseu~
Y=c
Segue o "trace" do algoritmo descrito no Procediment9 4.1, que faz a unifica~o de dois termos,
retomando a substituio unificadora (mgu) entre eles (caso a unificao seja pss~el, o que, no exemplo em questo, j se sabe que , em Illo de a interrogao Prolog anterior ter si<o bem-sucedida).
1,
E2
E1
unify( (--!-X. . . . .b-~-.
. . , (~
~ retorna {a/X,bfY} (substituio final)
1
3 )
FJ.TJ
F2T2
nil{a/X,c!Y}
t ..........,
flTI
F2T2
=r {a/X,c!Y}
!;composio das
d.
b t'tui' -
uas su s 1 oes
1
!
= {a!X,c!Y}
Gl +- (b Y){a!X} => (b Y)
G2 +- (b c){a!X} => (b e)
composio das
~ .a
Z2 +-unify (~ ~ ~b ~)
duJ substituies
Fl TI F2T2
i;
Z 1 +- unify (b , b) => procedimento bem-sucedido e retoma nil ~ nil {c!Y} ::= {~/Y} .
ci>mposio das
duk
,.' s substitu1'o-es
cfY~mJosio das
duas ~ubstituies
1
M= 0084
X= 0098
N= _0084
Y=a
Z= 0098
R=b
1
Segue o "trace" d algoritmo descrito em Procedimento 4.1, que faz a unificao das duas
lj .
'':':,.,,
expresses, retomand9 a substituio unificadora (mgu) entre elas (dado que a unificao be~
sucedida, como visto tia interrogao Prolog anterior). Com o objetivo de manter o "trace" legvel,
os vrios nveis da rechrso foram enumerados.
El
E2
unify ( (p M a (h X b)), (p N Y (h Z R )) )
i ~
Fl
TI
.!
'---v-----'
F2
T2
.1
i
1
1
(a.1)
Eli
E2
Z2 f-unify ((Ma (h'.X b)), (N Y (h"ZRJ)")
~
t~
F1
Jl
F2
T2
(a.2.1)
.
[
Z l f- unify (M,N) =:> {N/M}.
Gl f-(a (h X
b)){N~} =:>(a
(h X b))
(a.2.2)
El
E2
,----A----.
Z2 f- unify( (a (h X~)), (Y (h Z R)))
1
'
t~
f1
Tl
F2
1
! '
1
~ <>
T2
150
EdUFSCar - Apontamentos
(a.2.2.l)
Zl f- unify (a, Y) => {a/Y}
Gl f- ( (h X b)){a/Y}:::) ( (h X b))
G2 f- ( (h Z R) ){a/Y}:::) ( (h Z R))
(a.2.2.2)
F2
(a.2.2.2.1)
Zl f- unify ( (h X b), (h Z R))
t~
t.....__.
Fl TI
F2 T2
(a.2.2.2.1.1)
Zl f-unify (h,h}=> nil
(a.2.2.2.1.2)
Z2 f-unify ((Xb) ~ (Z R}}
t
't t
FITI F2T2
(a.2.2.2.1.2.1)
Zl f-unify (X, Z) => {Z/X}
(a.2.2.2.1.2.2)
. Fl
F2
(a.2.2.2.1.2.2.1)
Zl f- unify(b,R) => {b/R}
(a.2.2.2.1.2.2.1)
(a.'.!.t1.:Z}'
Z2 f- unify ( ( ),( ) ) => nil
Compondo as substituies para a obteno da substituio mgu final:
1. (a.2.2.2.L2.2.l) com (a.2.2.2.1.2.2.1) => {b/R}nil = {b/R}, que a substituio que retoma
da unificao (a.2.2.2.1.2.2);
A cartilha da lgica
151
3. (a.2.2.2.1.1) com (a.2.2.2.1.2) => nil{ZIX,b/R} = {Z/X,b/R}, que a substituio que ret.or"'~~:-'-~
na da unificao (a.2.2.2.1);
~
.,: \.
..
omiB~
f(a)
Z=c
Segue o "trace" do algoritmo destrito-em'ilrotdimento4:1, _que faz a -unificao das duas
expresses, retornando a substituio .unif:.adora,{mg.u).entre..elas.,{.dado.!}ue .a.J.lilifiao. .bemsucedida, como visto na interrogao Prolog anterior).
El
E2
r---A-----,,
unify( (p Y Me), (p Z (f a) M))
i
Fl
TI
1' ,,________.,
F2
(a.1)
Zl -<-- unify (p,p) => nil
T2
152
EdUFSCar -Apontamentos
(a.2)
El
Z2
E2
1'
FlTl
F2
'---v--' .
T2
(a.2.1)
El
,_.-..,...
E2
1'
Fl Tl
1'
F2 T2
(a.2.2.1)
Zl ~ unify (K, (f a))=> {(f a)/K}
Gl
(a.2.2.2)
Z2 +-- unify ((e), (Z)) (ambos, Tl e T2, so listas vazias, i.e., ())
1'
1'
Fl F2
(a.2.2.2.1)
Zl
(a.2.2.2.2)
Z2 +-- unify ( () , () ) => mi
Compondo as substituies para a obteno da mgu final:
1;
1. (a.2.2.2.1) com (a.2.2.2.2) => {c/Z}nil = {c/Z}, que a substituio que fetoma da unificao (a.2.2.2);
1
da unificao (a.2.2);
3. (a.2.1) com (a.2.2) => {Z/M} {(f a)/K, c/Z}
153
substituio A_ue resulta da aplicao da segunda substituio aos termos da primeira, seguindo o estabelecido na Definio 4.5 deste Apontamento;
1i:,
r.,.
'
Exemplo 4.14 Con~idere a interrogao Prolog e a respectiva instanciao subseqente de v~riveis, provocada peld! prova:
?- p(g(a)) = p(X).
X= g(a)
1
,i
Segue o "trace" do algoritmo descrito no Procedimento 4.1, que faz a unificao das duas expresses, retomando a substituio unificadora (mgu) entre-elas {dado que 1l unificao bem1
t._,_.
Fl TI
t !t
F2ff2
(a.1)
Zl
f-
(a.2)
El
E2
,....,._,
Z2
f-
unify ( ((g a)) (X) ) (ambos, Tl e T2, so listas vazias, i.e., ())
't
F2
Fl
(a.2.1)
Zl f- unify ( (g a), X}=> unify (X, (g a))=> {(g a)/X}
(a.2.2)
i
Z2 f- unify( ( ) , ( ) ) => nil
1
l. (a.2.1) com (a.2.2) => {(g a)/X}ni/ = {(g a)/X}, que a substituio que retorna da unifica-
!
o (a.2);
2. (a.1) com (a.2) .i=> nil {(g a)/X} = {(g a)/X}, que a substituio mgu final.
1
154
EdUFSGar -Apontammtot
% argumentos atomicos
nonvar{Y),
-atomic (X)
atomic (Y)
!,
X = Y.
% argumentos sao estruturas
A cartilha da lgica
X - . . [F, Xl l Xs] ,
Y - . . [F, Yl l Ys] ,
unify_args([XljXs], [YljYs]).
unify_args ( [] , []) .
unify_args ( [X 1Xs] , [Y 1Ys] ) : unify(X,Y),
unify_args(Xs,Ys).
not_appear(X,Y) :Y = .. L,
not_appearl(X,L).
not_appearl(X, []).
not_appearl(X, [LjLs]) :atornic (L) , ! ,
not_appearl(X,Ls).
not_appearl(X, [LjLs]) :var(L), ! ,
not ( X
== L),
not_appearl(X,Ls).
not_appearl(X, [LjLs]) :not_appear(X,L),
not_appearl(X,Ls), !.
Exemplos de interrogaes com o programa Prolog anterior carregado em memria:
?- unify(not p(X,a), not p(a,Y)).
yes
?- unify(not(p(X,a)), not(p(a,Y))).
X = a
yes
155
156
EdUFSCar - Apontttmentos
?- unify(p(X,q), p(N,M)).
=
=
0084
0084
M = q ->;
no
?- unify(p(M,g(X)),p(a,X)).
no
?-
M= a
yes
?- unify([a),[MjN]).
[)
yes
?-
unify(f(g(Y)),f(Z)).
0084
= g(_0084)
->;
no
Observao 4.10 O programa Prolog que implementa a operao de unificao~ descrito anteriormente, usa alguns predicados predefinidos do Prolog (no caso, Arity Prolog): t
r
var/l: predicado que bem-sucedido se seu argumento for uma varivel !no-instanciada;
. smbolo '= ': o predicado de unificao do Prolog;
1
atomic/l: bem-sucedido quando seu argumento for um tipo atmico de dadb (tomos, inteiros,
'
.
!
reais, cadeias);
1
smbolo'==': predicado que compara dois termos e bem-sucedido se 9s termos so equi. valentes.
A cartilha da lgica . ~ 57
Como
visto na Seo:4 1.9 do.. Captulo 1, a FNC de wffs de extrema importncia para viabilizar
.,
o uso do mtodo de r~soluo, uma vez que para tal mtodo ser aplicado a uma frmula ela de'!,[;e
j
~
estar representada na fNC. Para frmulas da Lgica de Predicados a tran8formao exige alglls
cuidados adicionais qiie os exigidos eni,LPgia Proposicional, fundamentando-se tambm no.~on
ceito de forma Prenexl
)
Definio 4.9 Uma fbiula a da Lgica de Predicados est na Forma Normal Prenex (FNP) se e
~
somente se a estiver na iorma:
As regras, a seguir, devem ser seguidas para transformar uma frmula da Lgicade Predicados
em sua representao ~m forma normal conj~tiva.
j
Se a frmula &.j tiver uma varivel livre, X, substituir a por (3X a). Isto deve ser repetido
.
at que a f~u1a no contenha mais varivel livre.
]
1
1
158
EdUFSCar-Aponttt.mentos
(--,~
v a.) e a. 4
~por
(-,a. v
~).
Considere a wff:
(VY(3X p(X,Y)))
que pode ser lida como para todo Y, existe um X, tal que p(X,Y). Pelo fato de o quantificador existencial estar dentro do escopo do quantificador universal, est aberta a possibilidade de o X que existe depender do valor Y. Esta dependncia pode ser evidenciada por
meio de uma funo g(Y), a qual associa cada valor de Yao X que existe. Essa funo
chamada de funo de Skolem, e, se for utilizada no lugar do X que existe, o quantificador
existencial pode ser eliminado e a frmula anterior reescrita da seguinte maneira:
(V'Y)(p(g(Y) 'Y) ).
A regra geral para eliminar um quantificador existencial de uma wff substituir cada ocorrncia da varivel quantificada existencialmente por uma funo de Skolem. Tal funo
tem como argumentos as variveis quantificadas universalmente, desde que o escopo do
A cartilha da lgica
159
obtm-se a frmula:
('VW q(W)) /\ ('v'X(V'Y(p(X,Y,g(X;J?) V ('v'U r(X,U,Y,g(X;J?)))))).
Qualquer matriz pode ser escrita como uma conjuno de um conjunto .finito de disjunes
de literais - forma conhecida.oome-forma .nanna}-conjuntiva; Ento, at que a matriz da
frmula seja uma conjuno.de disjunes, su~stituir:
(a 1"a) v a 3 ::::::> (a 1 v a 3) /\ (a.2 v a.3)
. a, v (a.2 /\ a.3) ::::::> (a1 v a2)" (a.1 v a.3).
Exemplo 4.15 Considere a obteno da FNC associada a cada uma das wffs a seguir, usando o
processo anterior.
160
EdUFSCar -Apontamentos
(a)
('v'X(3Y(VZ(irma(Z,Y) ~ (irma(Z,x) /\ irma(X,Y))))))
JJ
(VX(3Y(VZ((irma(Z,Y)
JJ
(VX(3Y(VZ((-,i1Illa(Z,Y)v(irma(Z,X)/\irma(X,Y)))/\((-,irma(Z,X)v-,inn(X,Y))v(irrna(Z,Y))))))
' JJ
(VX(3Y(VZ((-,irrna(Z,Y)v(inna(Z,X))/\(-,irma(Z,Y)virma(X,Y))A((-,i1Illa(Z,x)v-ii1Illa(X,Y))v
(inna(Z, Y))))))
. U
(VX(VZ((-,irma(Z,f(X))v(inna(Z,X))f..(-rma(Z,f(X))virma(X,f(X)))/\((-,irma(Z,X)v-,irma(X,f(X))v
(irma(Z,f(X))))))
C 1: -,irma(Z,ftX))v(irma(Z,X)
C2 : ....,inna(Z,f(X))virma(X,ftX))
C3 : -,irma(Z,x)v-,irma(X,f(X))v irma(Z,f(X))
(b)
(VX(VY((3Z(p(X,Z) /\ p(Y,Z))) ~ (3U q(X,Y,U)))))
u
(VX(VY(-,(3Z (p(X,Z) /\ p(Y,Z))) ~ ((3U q(X,Y,U)))))
JJ
(VX(VY((VZ -,((p(X,Z) /\ p(Y,Z)))
((3'U q(X,Y,U)))))
u
(VX(VY((VZ (-.p(X,Z)
JJ
(VX(VY((VZ (-,p(X,Z) V -ip(Y,Z))) V (q(X,Y,f(X,Y))))))
JJ
(VX(VY(VZ (-,p(X,Z) V -,p(Y,Z) V q(X,Y,f(X,Y))))))
A cartilha da lgica
lJ
(\tX(\tY((s(X, Y) ~ (\tU( p(U){) p(U,Y))))" ((\tU( p(U,X) ~ p{U,Y))) ~ s(X,Y)))))
JJ
(\tX(\tY((-.s(X,Y) v ('v'U(-. p(U)f}"Vi'('tl~)))" (-.('v'tJ('p{U,Xl4.p(U;Y))Yv s(X,Y)))))
JJ
('v'X('v'Y((-,s(X,Y)
JJ
(\tX(V'Y((-,s(X,Y) v (V'W(-, p(WX) v p(W,Y)))) /\ (3U ( p(U,X) A -.p{U,Y)) v s(X,Y))))
JJ
(\tX(\tY((-,s(X,Y) v (\tW{-i p(W,X) v p(\v,Y))))
u
(\tX(\tY((-.s(X,Y)v(\tW(-.p(W){)vp(W,Y)))) A ((p(f(X,Y),X) v s(X,Y))
(-.p(f(X,Y),Y)) v
s(X,Y))))
JJ
(V'X(V'Y(VW cc:.s(X,Y)v--.p(WX)vp(W,.Y})-" (p(f(X,Y),X) v--s{X;Y)) (\ (-.p{f(X,Y),Y)) V
s(X,Y)))))
C2 : p(f(X,Y).X) v s(X,Y)
C3 : -.p(f(X,Y),Y)) v s(X,Y)
(d)
(V'X(p(X)) ~ (3X q(X))
lJ
(V'X(p'{X)) v "{3Y q(Y)j
.JJ .
(3X -,p(X))
(3Y q(Y))
C: -.p{a) v q(b)
. ; ;...
161
'
(mgu) que possa ser aplicada a clusulas pais de maneira que essas clusulas passem a ter (quando
for possvel) literais complementares, precondio que permite o uso de resohio. Este captulo
discute o processo em detalhes, com base nos conceitos apresentados e discutidos no Captulo 4. ,
Considere S um conjunto de wffs a partir do qual se deseja provar alguma meta G (wff). Em um
processo de resoluo por refutao, primeiro se nega a wff meta e, ento, adiciona-se a negao ao
conjunto S. Esse conjunto expandido ento convertido em um conjunto de clusulas e a resoluo
usada para derivar a contradio, representada pela clusula nil.
Se G for uma wff que segue logicamente de um conjunto S de wffs, toda interpretao que sa- .
tisfaz S satisfaz G tambm, ou seja, nenhuma interpretao que satisfaz S ir satisfazer-,G. Como
visto anteriormente, um conjunto de wffs que no pode ser satisfeito por qualquer interpretao
denominado insatisfatvel. Assim, se G segue logicamente de S, o conjunto S u {...,G} deve ser
insatisfatvel. Pode ser mostrado que se a resoluo for repetilamente aplicada a um conjunto de
clusulas insatisfatveis, eventualmente a clusula vazia, nil, ser produzida. Assim, se G segue logicamente de S, o processo de resoluo dever, eventualmente, produzir a clusula vazia, a partir
da representao clausal de S u {...,q}. De maneira anloga, pode ser mostrado que, se a clusula
vazia produzida a partir da representao clausal de S u {-,G}, ento G segue logicamente de S.
5.2 UM EXEMPLO
Considere as trs expresses da Lgica de Predicados, a.seguir, que representam trs premissas:
1. a.: (V'X (p(X)
. 2. .j3: (V'X (r(X)
q(X)))
-,q(X)))
segue logicamente das trs premissas. Como visto anteriormente, o uso de resoluo condicionado representao das frmulas envolvidas em FNC. Assim, primeiramente a representao de
cada uma das premissas na FNC deve ser obtida como a seguir (lembre-se de que na representao
,..
em FNC as variveis esto implicitamente quantificadas universalmente).
' .~
" ~
FNC(~):-.r(X)
v -.q(X)
FNC():-.s(X) v p(X)
Identificando cada uma das clusulas das FNCs obtidas, tem-se:
C 1: -.p(X)
q(X)
C4 : s(a)
c 1: -,p(X) v q(X)
"C; .:o:;r(Ytv .::,q(Y)
, c3 : t{a)
C4 : s(a)
" - . ~.
164
EdUFSCar-Apontamentos
,.
1
A Figura 5.1 mostra a rvore de refutao para o exemplo. Via de. regra exist~m vrias clusulas
e vrios pares de literais complementar~s candidatos aplicao do processo ~e resoluo. Isso,
entretanto, no previne a aplicao da resoluo apropriada, mesmo aps a ap11cao de algumas
1
irrelevantes.
!
r(a)
s(a)
-.s(Z) v p(Z)
V:
+-{a/Z}
p(Z)9
p(a)
+--{a/X}
q(X)81
-,r(a)
nil
Figura 5:1 rvore de refutao relativa prova, usando resoluo para o exemplo cotjsiderado.
1
i.
'
Definio 5.1 Sejam duas clusulas candidatas a serem cllli;ulas pais, que nb tm variveis co-
muns, representadas como conjuntos de li~erais C:{LJ e C': {Mi}, com a disjm{o implcita entre
eles. Seja {IJ e {LJ e {mJ e {MJ, tal que exista a substituio 8 = mgu( {IJ/'u -.{mJ ). Diz-se,
ento, que as duas clusulas podem ser resolvidas e que a nova clusula:
' 1:
Observao 5.1 Se duas clusulas resolvem, ento pode existir mais do que
~m resolvente, uma
vez que podem existir diferentes escolhas para o subconjunto de literais {IJ e o $ubconjunto de literais {mJ da Definio 5.1. Em qualquer caso, o nmero mximo de resolvente~ existentes finito.
O Procedimento 5.1 descreve um pseudocdigo geral do processo de resolu~, que recebe como
entrada um conjunto de clusulas, cujas variveis jforam padroniz.adas part~.
i
1
1
!;
,1
lprocedure resolution(S)
1begin
! c~s
1 repeat
selecionar( {Cu('.;}.,q
:i
while not (resolvvel(CitCj)) selecionar({q,Cj},C)
fij ~ resolven~.C;,C;)
.1
e +- e u {rij}
until nil E C do
:J
,
1
!end
;
i
,.
Exemplo 5.1 Considere as duas clusulas e as vrias possibilidades de escolhas dos subconjuntos
de literais, como mostra a Tabela 5.1.
,1
'
1
Tabela 5.1 Diferentes escolhas dos subconjuntos de literais, quando aplicando resoluo.
1
{mJ
1{IJ
1
resolvente
{p(X,f(a))}
{q(Y)}
{--,q(Z)}
p(X,f(a)) V p(X,f(Z))
--,p(Z,f(a))
{p(X,f(Y})}
(~p(X,Y)
v q(X,Y)) /\ p(Y,a)
C1:"(-,p(K,Y1v -q{K;Y))
c ,z;J?{Y,a)
;I
Como pode ser vist0 na Figura 5.2, a frmula logicamente implicada por a foi muito especiali.
'!
166
EdUFSCar -Apontamentos
p(Y,a)
-.p(X, Y} V q(X, Y)
unify(p(Y,a),p(X,Y))
JJ
0, ~{XIY}
Gl ~(a) 0 1 => Gl: (a)
G2 ~ (Y) 01 =) G2: (X)
q(a,a)
02 ~ unify((a),(X)) =){a/X}
0 ~ 0102 =) 0 ~ {aJY,a/X}
Figura 5.2 Efeito indesejvel causado por compartilhamento de variveis entre clusulas, quando do uso
de resoluo.
Como mostra a Figura 5.2, usando a regra de inferncia da resoluo, chega-se apenas a q(a,a).
Se a frmula original for analisada cuidadosamente, entretanto, fcil verificar que a frmula a:
(\:/X(\:/Yp(X,Y) ~ q(X,Y)) A (\:/Yp(Y,a)) logicamente implica a frmula ('VYq(Y,a)); no entanto,
no processo descrito, foi obtido apenas q(a,a)- note que houve um excesso de especializao desnecessria, quando da unificao. A razo disso se deve ao fato de ambas as clusulas compartilharem a varivel Y. Considere novamente todo o processo, agora renomeando a varivel da segunda
clusula. Como pode ser visto na rvore de derivao mostrada na Figura 5.3, q(X,a) foi obtida e,
como todas as variveis so consideradas quantificadas universalmente, tem-se ('VX p(X,a)).
a 1: ('VX(\:/Yp(X,Y) ~ q(X,Y)) A ('VZ p(Z,a))
FNC(a 1): (--.p(X,Y) v q(X,Y)) A p(Z,a)
Cl: (--.p(X,Y) V q(X,Y))
C2 : p(Z,a)
-.p(X,Y) v q(X,Y)
p(Z,a)
-~ e~unify(p(Z,a),p(X,Y))
q(X,Y)9
0 1 ~ {X/Z}
q(X,a)
Exemplo 5.3 Os possveis resolventes das clusulas C1 e C2 dadas a seguir esto mostrados na
Tabela 5.2.
A cartilha da lgica
e,: p{X,f(Y)) V
q(g(Y))
167.
r(X,Z,b)
C2.:
~(U,f(b))
~2.
literal,
q(gty)) V f(X,Z;b)
y-iq(V) V r(U,a,b)
..
mgu
literal2
resolvente
{-,q(V)}
{g(Y)N}
p(X,f(Y))
r(X,Z,b)
V ~(U,f(b)) V
r(U,a;b)
Teorema 5.1 (Princpio de Resoluo) Sejam a. e~ duas wffs da Lgica de Predicados que tm
como resolvente a clusula C. Ento, {a.,
~} 1= C.
.,;,~:
;
- ~ ,'
Exemplo 5.4 A Figura 5.4 exemplifica o uso do princpio de resoluo para evidenciar a insatisfatibilidade de A= {{-,p(X),q(X)}, {p(a)}, {r(b,a)}, {-,q(Y),...:,r(b,Y)} }. Note que as clusulas agora
esto representadas como conjuntos de literais com ad.isjuno implicitamente assumida entre eles .
a--{v
.{-.p(X}, q(X)}
.fp(a)l
.{-,q(Y},-,r(b,Y)}
.{r(b,a)}
{q(a)}
81 ~ {a!Y}
nil .
Figura 5.4 Resoluo usada para evidenciar insatisfatibilidade.
Exemplo 5.5 A Figura 5.5. exemplifica o Uso do princpio de resoluo para evidenciar que o conjunto de clusulas A= {{p(X), q(X,Y)}, {-,p(Z)}, {-,q(a,b),p(a),p{b)} insatisfatvel. Nesta figura, .
a segnda clusula foi repetida trs vezes para facilitar a visualizao.
168
EdUFSCar -Apontammtos
{-,p(Z}} . {-,q(a,b),p(a),p(b)}
0<-{~
{-,p(Z)}
{q(Z,Y)}
. 01
~ {a/Z,b/Y}""
{p(a),p(b)}
02 ~ {a/Z}
{p(b)}
92 ~ {b/Z}
ni] .
Exemplo 5.6 Considere o seguinte argumento represe~tado em Lgica de Predicados pelas duas
premissas e pela concluso:
~~~~.--~~~~~~~~~~~~~~~-
Premissa1
a: (VX(VY((pai(X,Y) "pai(Y,Z))
Premiss~
p: (VX(3Ypai(X,Y)))
avo(X,Z))))
A Tabela 5.3 mostra o processo de obteno da forma normal conjuntiva de;ambas as premissas
a e p, bem como a concluso negada, de maneira a construir um conjunto de clusulas para o uso
de resoluo por refutao, como mostrado na Figura 5.6.
Tabela 5.3 Obteno da FNC de duas premissas e da concluso n~gada.
=
(VX(VY(-.(pai(X,Y) "pai(Y,Z)) v avo(X,Z)))) =
A cartilha da lgica
(V'X(V'Y -,avo(X,Y)))
FNC(-,8): --,avo(X,Y) (uma nica clusula com um nico literal)
~eescrevendo
C3 : --,avo(U,V)
---------,1
.'9 . ~ unify(avo(X,Z),avo(U,V))
(-.pai(X,Y) V -,pai(Y,Z))01
JJ
01 ~ {U/X; V/Z}
-.pai(U,Y) v -ipai(Y,V)
-,pai(U,Y)
-,pai(Y,V>
(-,pai(U,Y))02 4; ....................................::
JJ
2 ~ unify(pai(f(W),W),pai(Y,V))
U
-.pai(U,f(V))
02 ~ {flV)/Y, V/W}
-.paiCU.ffV>l
03 ~ unify(pai(f(W),W),pai(U,f(V)))
nil
03 ~ {f(ftV))/U, f(V)/W}
169
170
EdUFSCar -Apontamentos
Para promover o entendimento, na Figura 5.6 esto mostrados os resultados dos processos de
unificao entre literais, bem como as clilsulas esto representadas com os operadores v, e no
como conjuntos de literais, coino supostamente deveriam estar para a .aplicao do processo de
unificao, como formalmente definido anteriormente.
Nesta figura, a clusula C2 mostrada duas vezes para uma me1hor visualizao do processo,
dado que uma das clusulas pais em duas vezes que a regra de resoluo usada. As trs substituies que possibilitaram o processo de resoluo esto mostradas na Figura 5.7.
0 1 ~ unify((avo X Z), (avo UV)} => 01
{UIX, V/Z}
. .
.u.
unify( (W) , (V)) => {VIWJ -
- - ~ ..
->
,'
{(fW)/Y} {V/W}
= {(fV)/Y, V/W}
,'
.u.
.Figura 5.7 Principais passos das trs substituies usadas no proc~sso de resoluo mostrado na Figura 5.6.
A cartilha
da lgica
171
3. primo(7)
4. -,igual(7,2)
5. impar(quadrado(7)).
3. primo(7).
4. -,igual(7 ,2).
5. -,impar(quadrado(?)).
A Figura 5.8 mostra a rvore de refutao referente ao processo de resoluo usado, na qual
a clusula referente premissa 2 teve sua varivel renomeada, uma vez que ela j comparec~
na clusula referente premissa 1.
:f
{-.primo(X), igual(X,2), impar{X)}
{-.igual(7,2)}
{primo(7)} {-,impar(Z),impar(quadrado(Z))}
9<-{~
{-.impar(quadrado(?))}
{-,primo(7), impar(7)}
9 1 ~ {7/Z}
{mpar(quadrado(?))}
nil
Figura 5.8 rvore de refutao para um conjtm.to de clusulas.
172
EdUFSCar -Apont4mmtos
(
Como mostrado anteriormente, uma resoluo por refutao pode ser representada como uma
.
.. .
rvore de refutao (dentro do grafo de derivao), tendo um n raiz rotulado, nil. A estratgia de
controle busca a refutao, por meio do crescimento do grafo de derivao, at que a rvore seja
li
:;
li
do segundo nvel e assim por diante. Um resolvente do primeiro nvel obtido entre duas clusulas do conjunto base; um resolvente no i-simo nvel aquele cujo pai em rvel mais profundo
um resolvente do nvel (i-1 ). A estratgia em largura. completa mas altariiente ineficiente. A
I~
-,s(Z) v p(Z)
:-ip(X)
q(X)
r(a)
-,s(a)
q(a)
....---------------~ ----- - -
Figura 5.9 Estratgia para uso de resoluo em largura.
tis o da estratgia no
A cartilha da lgica
173.
-,s(Z) v p(Z)
'i
------------------------------'
....
't
------------r-------------------------nil
;!
..;,.
A estratgia do inp'Ut linear no completa. Existem casos em que a refutao. existe e, no entan'
to, a estratgia no a deriva.
Apesar da faha de completude, a estratgia do inpt linear freqen-
5.4.3 Estratgia
d~
conjunto suporte
;!
~
O controle do process9 de resoluo via estratgia do conjunto suporte garante que pelo menos um
pai de cada resolvente seja selecionado entre as clusulas que resultam da negao da concluso
1
ou de seus descendentes (o conjunto suporte). Pode ser provado que sempre que existir uma refui
tao, a estratgia do c,pnjunto suporte a identifica. A Figura 5.11 mostra a rvore de refutao para
o exemplo em questo; Comparando a Figura 5.9 com a Figura 5.11, fica evidente que a estratgia
do conj~to suporte p~oduz menos clwhs a .c aa .n1vcl.que a AStrati\gia em ]ar.glu-a.
'
174
EdUFSCar-Apontammtos
negao da concluso
u
-.s(Z) v p(Z)
s(a)
-.p(X)
q(X)
-.r(Y)
-.q(Y)
r(a)
-,r(a)
- - - rvore de refutao
nil
A cartilha da lgica
-,s(Z) v p(Z)
s(a)
-,p(X) v q(X)
-.r(Y) v -.q(Y)
175
r(a)
de
seus termos podem tambm ser consideradas. A ordem, na qual resolues so realizadas, cruciJi
. ..-.
tal que T o conjunto de todos os termos da forma fh(t)2 , ... ,tn) para todos os smbolos funcionais
fh ocorrendo. em S, tal que tj para j
= 1, ... ,n so elementos de Hr
A cartilha da lgica
177
ground que so gerados a partir dos smbolos de constantes e dos smbolos funcionais que af>a,,t;ecem em S. Trs situaes podem ocorrer:
1. se S contm ambos, constantes'e"fune8'{sTuibols funcionais), ento o universo .de Herbrand ser sempre contavelmente.in:fu:llto;
eJ;ll
H 1 = H0 u {f(a),g(a)}.
8i = H 1 u {f(f(a)),f(g(a)),g(f(a)),g(g(a))}.
~ = H u {f(f(f(a))), f(f(g(a))), f(g(f(a)}};-f(g(g(a)));g(f(f(a))), g(f(g(a))), g(g(f(a))), g(g(g(a)))}.
2
H<Xl = {a, f(a), g(a), f(f(a)), f(g(a)), g(f(a)), g(g(a)), f(f(f(a))), f(f(g(a))), f(g(f(a))), f(g(g(a))), g(f(f(a))),
g(f(g(a))), g(g(f(a))), g(g(g(a))), ... }.
Exemplo 6.2 Construir o universo de Herbrand para o conjunto de clusulas S = {p(X) v q(X),
r(Z), -.s(Y) v t(W)}.
.. : ={a}.
178
EdUFSCar -Apontamentos
'
H.., = {a, f(a), g(a), h(a), f(f(a)), f(g(a)), f(h(a)), g(f(a)), g(g(a)), g(h(a)), h(f(~), b(g(a)), h(h(a)),
f(f{f(a))), f(f{g(a))), f(f(h(a))), f(g(f(a))), f(g(g(a))), f(g(h(a))), f(h(f())), f-Oh(g(a))), f(h(h(a))),
1
'
b, e}.
'
H2 = H 1 u { f(f(a)), f(g(a)), f(f(b)), f(g(b)), f(f(c)), f(g(c)), g(f(a)), g(g(a)), g(f(lj>)), g(g(b)), g(f(c)),
g(g(c))}.
.
Hco ={a, b, e, f(a), g(a), f(b), g(b), f(c), g(c), f(f(a)), ... }.
Definio 6.2 Seja S um conjunto de clusulas e seja H0 o universo de Herbr81td de S. O conjunto
dos tomos ground da forma pn(t 1,t2, ,tn) para todos os predicados~ ocorren~o em S, em que t 1,
1
t2,
..,
~(a,a),
q(a,), q(b,a),
q(b,b)}.
Definio 6.3 Uma instncia ground de uma clusula C de um conjunto S de clusulas uma clu1'
sula obtida pela substituio das variveis em C por elementos do universo de Herbrand de S.
'
'
1
1
:.
~~;~:a~.:'.
.
.:-;
A Tabela 6.1 mosrrr algumas das instncias ground das duas clusuias-C, e-C2 de S.
1
'I
grpund de clusulas.
~~~-.-~~~~~~~
e,: p(X)
p(a)
q(f(a)) v r(a)
p(f(a))
q(f(f{a))) v r(f(a))
f(c,b).
1
Note que P pode se, reescrito como o conjunto de clusulas S = {-,f(X,b) v f(a,X), f(c,b)}).
Considerando que H = j{a,b,c}, a instanciao ground GP de P o programa ground:
f(a,a):- f(a,b).
'I
~I
f(a,b):- f(b,b).
=j
f(a,c):- f(c,b).
1
'I
f(c,b).
1\
Note que o program~ citado pode ser reescrito como o conjunto G8 =q:,f(a,b) \i f(a,): -,f(0,15)
11
segu~, ser definida ka interpretao especial sobre o universo de Herbrand de.S chamada de ;
interpretao de Herbr~nd de S.
1
ij
180
EdUFSCar -Appntammtos
S - um conjunto de clusulas.
H - o universo de Herbrand de S.
Um literal, clusula ou conjunto de clusulas f em I se e somente se no for v. Uma interpretao de Herbrand , pois, uma livre atribuio de valores-verdade (v ou f) a todos os tomos da B8
Tal intezpretao deve, portanto, atribuir tambm vou f a todos os tomos em GP; assim, os valoresGP"
, ,
verdade desses tomos determinam os valores-verdade de todas as clusulas
em
H - o universo de.Herbrand de B.
1i: {q(a};
I3:{p(a),q(a)}.
De acordo com as regras de. avaliao mostradas ~teriormente, as interpretaes 10, 11 e 13 so
modelos de Herbrand de S e 12 simplesmente uma interpretao de Herbrand de S.
Exemplo 6.11 Seja S = {p(X) v -,q(X), m(Y) v -,g(a), q(Z)} um conjunto de clusulas. Desde que
21Bsl =
{g(a)}
{q(a),rn(a)}
{p(a),q(a),g(a)}
{p(a)}
{p(a),q(a)} {q(a),g(a)}
{p(a),rn(a),g(a)}
{q(a)}
{p(a),m(a)} {m(a),g(a)}
{q(a),m(a),g(a)}
EdUFSCar-Apontammtos
182
GP :
likes(cbris,chris) if likes(chris,logic)
likes( cbris,bob) if likes(bob,logic)
likes(cbris,logic) if likes(logic,logic)
likes(bob, logic).
que pode ser escrita, para maior facilidade de leitura, como:
CCifCL
CBifBL
CLifLL
BL
fiff
vifv
fiff
v
Prova: Seja I uma interpretao de S. A interpretao de Herbrand I' de S pode ser definida como:
direto mostrar que, se I for um modelo, I' tambm ser um modelo. Os dois exemplos seguinWi moitr.am a construo de modelos de Herbrand correspondentes a modelos.
Exemplo 6.13 Seja S = {-,p(X) v q(f(X),a)} a forma clausal da frmula a: (VX (p(X) ~ q(f(X),a)))
e seja I o seguinte modelo:
a) domnio: {1,2}
f(l) f(2)
p(l)
p(2)
q(l,1)
q(l,2)
q(2,l)
q(2,2)
V
Note que esta interpretao um modelo, desde que {--.p(l) v q(f(l),l)} e {-.p(2) v q(f(2),l)}
sejam, ambos, verdade. Para a definio do correspondente modelo de Herbrand, .neoessrie:
encontrar a base de Herbrand B 8 de S e
avaliar cada elemento de B 8 , usando a dada inteq)retao I,
a fim de selecionar como elementos do modelo de Herbrand aqueles elementos de B 8
liados como v pelo modelo I. Para o conjunto S considerado,
que'!,~'a~i~
..
: : "'
p(l)
q(a,a)
q(l,l)
p(f(a))
p(2)
q(a,f(a))
=
=
q(l,2)
q(a,f(a))
q(2,1)
=
=
=
=
=
f
V
V
V
184
EdUFSCar -Apontamentos
Exemplo 6.14 Seja S = {-.p(X) v q(f(X),Y)} com~ interpretao I, mostrada ~o exemplo anterior,
exceto que no existe atribuio constnte. A base de Herbrand de S a me~ma
do exemplo an,,
. terior, e a avaliao de cada elemento de B8 usando o dado modelo I :
ij
...
Para a= 1
p(a)
p(l)
q(a,a)
q(l,1)
p(f(a))
p(2)
=
=
=
f
V
V
p(2)
q(a,a)
q(2,2)
p(f(a))
p(l)
q(a,fta))
q(2,l)
q(f(a),a)
q{l,2)
'i
Teore_ma 6.1 Uma contradio pode ser derivada de um conjunto de clusulas S {-.G} se e somente
. se puder ser derivada a partir de algum subconjunto finito de instanciaes grourli G<sv{-,G })'
.
j:
A cartilha da lgica.
185
Teorema 6.2 Um conjunto de clusulas S u {-.G} insatisfatvel se e somente se algum subconjunto finito de G<svc--0i; for insatisfatvel.
~
ground de clusulas em S. Pode ser verifi~ado que um desses conjunto~ :-~-= {p(f(a)),-,_p(f(a))}.
ji
Isso significa que apenas necessrio considerar instncias obtidas, substituindo variveis por
.
'
. .. ,!
! .. ~ !
1 LISTA DE EXERCCIOS
1) Considere uma interpretao I e as frmulas a, p, y e /... como definidas a seguir:
a: (p 4 q);
(-,q V p))
e)(falso ~ p)
f) (p 4 falso)
g) (p 4 verdade)
h) ((p tt --,q) 4 --,r) 4 (--,(r /\ --,q) v p)
i) (falso ~ q) ~ (--,r)
j) ((p v--,q) 4 r) 4 (s tt --,q)
k) (q v r) 4 ((q v s) 4 (p vs))
l)(p 4r) 4q
m)(p4r)vq
n) ((p 4 q) 4 r) ~ (p 4 (q 4 r))
o) (p 4 (q 4 r)) ~ ((p 4 q) ~ (p ~ r))
p) (p 4 q) 4 (( p /\ (q /\ r)) ~ (p /\ (p v r)))
A cartilha da lgica
187
b) I[(p /\ r) ~ (q /\ r)]
c) I[(-,p v p) ~ (q v .p)]
d) J((p V r) ~ (q V -ir))
e) J[(P /\ r) ~ (q /\ r)]
f) J((-,p V p) ~ (q V p)]
g) J[(p /\ q) ++ (--iq)] .
4) As sentenas a seguir esto em lngua natural. Escreva cada uma delas usando a linguagem da
Lgica Proposicional.
-.:lo
h) Se x > O, x2 > O.
i) Se Carlos materialista, Carlos ateu. Se Carlos--ateu; ento earlos materialista.
j) Se Pedro est no teatro,.ento Guilherme est no teatro tambm.
k) Se ele tiver tempo~ ele vir.
1) Se voc no sair, eu chamo a polcia.
m) Duas crianas tm o mesmo tio se e somente se elas tm a mesma me e tm o mesmo pai.
n) Sei> j, ento (i-1) > j seno j = 3.
5) Verifique se a informao dada suficiente para determinar:
a) I[(p -4 s) -4 r], sabendo que I[r] = v.
b) I[(p v r) v (s ~ q)], sabendo que I[q] = f e I[r] = v.
e) I[((p v q)++ (q "p)) ~ ((r" p) v q}j;sabentlo que1ftt] = v.
6) Determine I[p] e I[ q], sabendo que:
a) I[(p ~ q)] = v e I[(p" q)] = f.
b) I[(p tt q)] = f e I[('-ip v q)] = v.
?)Verifique quais das frmulas a seguir so tautologias, quais so contradies e quais so contin- .
gentes. Justifique sua resposta.
a) ((p A q) t\ r) ++ (p "(q "r))
b) ((p V q) V r) ~ (p V (q V r))
188
EdUFSCar -Apontammtos
d) (p vp) ~p
e) (p A (q v r)) ~ ((p A q) v (p Ar))
f) (p V (q /\ r)) ~ ((p
q) /\ (p
r))
g) (p /\ (p V q)) ~ p
h) (p V (p /\ q)) ~ p
) p ~ p
Se Maria for escola, ento Gabriel oti Paula iro, e se ~aria no for escola, ento Paula e Guilherme iro.
possvel chegar a al~ma concluso de quem com certeza ir escola?
10) Verifique se as frmulas a seguir esto bem-formadas, de acordo com a definio.de.fnnulas
bem-formadas, e mostre todos os passos da verificao e a concluso final a que chegou.
(a) (p v -.(q A verdade)) tt falso
(b) ((verdade v q) tt -.(q A p)) ~ (r A falso)
(c) (-.(verdade tt --.(q A p)) ~ (-,-,p v -.,( q A verdade)) tt falso
2 LISTA DE EXERCCIOS
1) Verifique, usando a definio de conseqncia lgica, se pode ser escrito:
1= p ~ r
b) ((-,p ~ q) v (r /\ -iq)) 1= p ~ -,r
c) ((p ~ q), (r /\ -,q)) 1= p ~ r
d) (-i(p V q)) ~ (-,r ~ -,q), -,q 1= ((p /\ -,q) V r)
e) (p /\ q /\ r) ~(-ir~ -,q), -,r 1= p ~ r
t) p ~ (q V r), p 1= p /\ q
g) -,p ~ -,-,q, ~p 1= q
a) ((-,p ~ q), (r /\ -,q))
h) (p A q)
i) p 1= {p
(r /\ s), -,-,p, q )= s
q) /\ {p
j) p, -i-i(p ~ q)
k) p ~ (q
r)
l=q V -,q
r), q j=p
-, r, -, r ~ -.s 1= q ~ -,s
1) p, (p /\ q)
m)-,p~p
l=p
b) A vida no curta.
e) A vida no complexa ou o universo no finito.
d) A vida vale a pena se e somente se a vida tem sentid~
4) Dado que:
j. ,
190
EdUFSCar -Apontamentos
1- P-Hx
b) -.a ~ (P-4 8), -.a, P1- 8
e) -,a ~ -,-,p, -,-,-,a 1- p
a) a
d) a 1-a v a
A cartilha da lgica
e) 0.1-(a. V
J3) /\(a. V
191
J3)
"'
., '
=-,p v q.
d) p /\ p insatisfatvel.
e) p
p satisfatvel.
f) p ~ p vlida
g) p v -.p vlida.
9) Usando tanto o mtodo da tabela-verdade quanto o de manipulao algbrica de fnnulas via
equivalncia lgica, determine a FNC equivalente a:
a)p
-,q
b) -,(p /\ q)
c){p /\ q)
d) p
t\
-,(q V r)
e) -,(p A (q v r))
f) p V (-,p /\ ,q t\ r)
g) -.(p ~ q) V (p V q)
h) -.(p ~ -,q) /\ (p /\ q)
1O) Usando tanto o mtodo da tabela-verdade quanto o de manipulao algbrica de frmulas via
equivalncia lgica, determine a FND equivalente a:
a) -:oP ~ (q "r)
b) -,q /\ ( q ~ r)
C)
(p ~ q) V -,p
d)(-,p t\ q)
g) -,(p
q) /\ {s
h) -,(p /\ q)
t\
(p
t)
q)
3 LISTA DE EXERCCIOS
1) Usando o algoritmo de Wang, prove (passo a passo) se cada uma das expresses lgicas a seguir
(ou no) um teorema do clculo proposicional (note que as expresses j esto usando~ separador do algoritmo de Wang (=>)).
a) ((-.p v q), (r /\ -.q)) ~ p 4 r
I .
q) /\ (p V r)
j) p, -,(p ~ q) => q,-,q
. k) p ~ (q V r), q 1= p
1) r, (-.,p /\ q) B --, r, ..., r v q 4 -,s => r
V
-,s,p
m) P ~ p => P
n) -.,p 4 -,-,q, s /\ -.p =>-.q ~ -.p
o) p B (q v -ir), -.,r A p => p, -,r
A cartlha da lgica
. r
193
4 LISTA DE EXERCCIOS .
l) Verifique se as frmulas booleanas a e 13, ddas em cada um dos cinco itens a seguir, so equivalentes, usando o estabelecido na Observao 2.6, que diz: "uma conseqncia bvia da unicidade
da forma nonnal que duas formas booleanas so equivalentes se elas tm amesma forma normal.
Suas funes associadas so, conseqentemente, iguais."
a) a= x/ (JS e x,')
f3 =x,' :is
b) a = (x 1 x 2) (x3 E9
(x 1 'S)')
~=x1'SX3
c) a= (x 1 x 2 JS) E9 x 1
~=x1
d) a
(x 1 ~ x3) E9 (x3 ~)
13 = ('S XJ
e) a = X1 E0 (X 1 @ X2) E9 (X 1 @ X3)
13 = x1
2) Considere o conjunto das funes booleanas totais definidas de {0,1}3-+ {0,1}.
a) Escreva as funes: f 1, f1o, fi 6, f38' f 56 , f57' f 94 , f 137, ;55
b) Qual afuna resultante das seguintes operaes (considerando as definies de igualdade funcional)?
f 1 9f10
f88 :t;8
(f63 f123)'
(f59 s1) 9 ( f94 9 f94)
f2SS) E0 fll9
((f161 fs2) e f,9)'
(fl37@
3) Considere o conjunto das funes booleanas totais definidas de {0,1 }4 -+ {0,1 }. Escreva as fun-
A cartilha da lgica
195
a) I ={minis 1 i e I}, tal que I = {3, 4, 6, 9, 10, 11, 16, 17, 20, 21, 22, 23, 25, 30, 31}.
b) I = {min1s 1 i
I}, tal que I = {O, 1, 3, 4, 7, 16, 22, 23, 24, 25, 30}.
8) Usando mapa de Karnaugh, minimize as expresses de a), b), e), d) e) do exerccio}) desta
~L
5 LISTA DE EXERCCIOS
1) Considere um alfabeto A definido por:
Constantes: {a,b,c}
Variveis: {X,Y,Z}
Smbolos funcionais: {f/3, g/2, h/l}
Smbolos predicados: {p/3, q/2}
Quantificadores: 'ri, 3
Conectivos::"".""1, /\; v, -t, ~
Smbolos de.pontuao: (),
Verifique quais das expressesJgicas a seguir so frmulas bem-formadas. Justifique sua resposta
com base na defin9o de frmula bem-formada (Definio 3.9).
a) (3X(V'X p(X,a,b)))
b) ('v'Y('v'X p(X,Y, b)))
e) ('v'Y(3X p(X,Y,b)))
d) (V'X(3Y p(X,a,Y) -t q(f(X),g(Y)))))
e) p(X,g(a,b),Y) v q(h(h(Z)),d) /\ "".""1q(c,d))
t) p(q(X,a),b,Y)-t q(c,d)
g) (VX(3Z(V'YCp{a,b,){) -t q(g(X,Z),f(a,b,Y))))))
h) -.h(p(a,b,c)) v f(d,d)
i) (3Y((3Z(p(Z,Z,Z) V -;q(Y,Y))) V (V'X q(X,X))))
j) ('v'X{3Y(p(X,Y,f(a,b,Y)) -t (3Z p(Z,Z,d)))))
k) (V'X(3Y(p(f(a,b,c),Y,X))) -t (3Y(V'X q(h(Y),g(X,Y))))
1) (V'X(f(X,b,c) B q(h(X)))) .
m) ((a V b
c) B (b
d))
n) (V'X(q(X,Y) v "".""1p(f(a,b,X),g(Z,Z,X),h(a))))
2) Considere um alfabeto A com:
Conectivos: "".""1' A, v, -t e B
Quantificadores: V' e 3
Smbolos de pontuao: ( ) e,
Constantes: {a,b,c}
Variveis: {X,Z}
Smbolos funcionais: {f/2,g/3,h/l}
Smbolos predicados: {p/3, q/l}
a) Crie pelo menos 10 termos (explique por que so termos).
A cartilha da lgica
'
...
3) Identifique as variveis livres e ligas nas frmulas a seguir, e quais frmulas so feclf.,a4as.
a) ('v'X(p(X,Y)
~ (3Z(q(a,Z,M) B r(Z,T,X)))))
e) (V'X(3Y(q(X,Y) v p(Z))))
d) (V'X('v'Z(p(X,Y,Z,T} tt q(Z,M))))
e) (3M(3X(V'Y(p(a,b,Y) v -.q(X,b)))))
: . .:,.1::,,,
;;
197
6 LISTA DE EXERCCIOS
1) Considere uma linguagem . cujo alfabefo tem os seguintes smbolos:
Constantes: {a,b,c,d}
Variveis: {X,Y,Z,W}
Smbolos funcionais : {f/l, gil}
Smbolos predicados: {p/l, q/2,s/l}
Quantificadores: V, 3 .
Conectivos:-,, A, v, ~, B
Smbolos de:pontuao: ( ) ,
Seja! a seguinte interpretao: .
Domnio: {1,2}
Atribuio a constantes:
Atribuio a variveis:
f(l)
2 .
f(2)
g(l)
g(2)d
q(2,2)
f
s(l)
f
s(~)
y
~
r;-
-,q(X,a)
s(f(W))))
b) (3X('v'Z(p(X) -~ q(Z,c))))
e) ('v'W(3Y(3Z(p(Y) v q(W,W) v -is(Z)))
d) (VX(3Y(q(X,Y) v s(X)))) v ('VW q(a,W))
e) (3X(3Y(( p(X) v s(Y)) ~ q(X,X)))) B ('v'X q(X,W))
A cartilha da lgica
199
fi
li
2) Determine, em cada
caso, o resultado da aplicao da substituio frmula:
li
~~
Substituio
Frmula
j!
; a) gosta(X,pai(Y)
ri
\j,i b) gosta(X,pai(Y))
e= {me(Y)/X, maria/Y}
0 = -{me(maria)IX, maria/Y}
' .:_.
,.,.:
. f-
\' d) p(X,Y,a)
0 = {Z/X, MIY,KJT,aJN}
3) Dada a substituib:
i'
8 = {f(a,Y)J?C, f(b,Z)/Y,c/Z}
!'
11
'. i
4) Determine a comppsio 0*
!1
11
0 1 = {f(a,Y)/X, f(U,Z)/W}
!1.
;,
1
1'
i'
li
e idempotncia.
[~
a) {me(Y)/X, maria/Y}
b) {XIX} ..
e) {2/X, 3/X}
d) {2/X, 2/X}
e) {Y/X, X/Y}
f) {2/X, 2/Y, X/Y}
g) {f(X)/f(Y)}
7 LISTA DE EXERCCIOS .
1) Verifique se cada um dos conjuntos c:ie expresses a seguir unificvel. Para aqueles unificveis,
escreva a substituio unificadora e diga se a.substituio a unificadora mais geral.
a) {p(X,g(Y),a), p(Z,M,N), p(c,K.,T); p{Xl,x2,X3)}
b) {q(a,b), q(M,Z), q(T,A), q(a,N)}
e) {r(a,b,f(Z)),r(X,Y,Z), r(b,b,M)}
f) {s(ZI,Z2,f(f(Z4))),s(g(a);M;N,T),.r(g(Z);c,dJJ}
c) -,amigo(X).
d) rico(X) v -,rico(X) v mesquinho(X).
e) -,irma(X,Y) v gosta(X,y).
f) -,gosta(antonio,fisica) v gosta(antonio,futebol) v -,gosta(antonio,arroz).
4) Usando o Procedimento 4.1 (unify), mostre todos os passos da tentativa de unificao (quando
bem-sucedida, mostre tambm todos os passos na obteno da substituio final que viab\Iiza a .
. unificao) de:
a) p(a,b,Z) & p(X,K,.g(X))
b) q(f(f(b)),M,g(a,b)) & q(M,N,g(Y,Z))
A cartilha da lgica
-,q(Y)
201
s(Y)
1q(Z) V t(Z)
.r(W) V s(W)
' ti. .
-,r(T) v u(T)
p(g(U))
~-
q(h(U))
Verifique, usando resoluo, se a seguinte assertiva lgica segue logicamente dos axiomas:
(3M(3N({s(M) A t(M)) v (u(N)
s(N)))))
p(Y,X)))))
8) Dadas as premissas:
(a) (VX(estuda(X) ~ aprende(X)))
(b) (VX(aprende (X) 4 professional(X)))
prove que a concluso a seguir segue das premissas:
(VX(estuda {X,) ~_profession~.lXJ))
9) Usando resoluo, prove para cada item..a,.seguir...a..coocluss:>,-indicada. .Em..cada.item-esto.r.epresentadas: as sentenas em lngua natural e sua traduo em. expresses da Lgica de Predicados.
Vrios desses argumentos encontram-se descritos em Hegenberg (1976).
a) TQdos os poetas so sensveis. H poetas; logo, h (pessoas) sensveis.
(VX(poeta(X) 4 sensvel(X)))
(3X poeta(X))
logo
(3X sensivel(X))
" ' .
202
EdUFSCar-Apontamentos
b) Alguns felinos so tigres. Todos os tigres so belos, logo alguns felinos so belos . .
(3X(felino{X) /\ tigre(X)))
(VX(tigre(X) ~ belo(X)))
logo
(3X (felino(X) /\ belo(X)))
c) Todos os so-carlenses so pauliStaS; todos os paulistas so brasileiros; 19go, todos os socarlenses sobrasileiros. .
(\fX(sancarlense(X)~ paulista(X)))
(VX(paulista(X) ~ brasileiro(X))) .
logo
(VX(sancarlense(X) ~ brasileiro(X)))
'
'i
d) Nenhuma baleia peixe. Moby Dick baleia; logo, Moby Dick no peixe.
(VX(baleia(X)
-,peixe(X)))
baleia(mobydick)
logo
-,peixe(mobydick)
e) Nenhum jogador pobre. Alguns pobres so alegres; logo, alguns jogadores:no so alegres.
(VX(jogador(X) ~ -,pobre(X)))
(3X (pobre(X) /\ alegre(X)))
logo
(3X (alegre(X) /\ -.jogador(X)))
f) H uma pessoa em quem ningum acredita. Logo, h uma pessoa que no acredita em si mesma.
i
(3Y(\iX( ...,.,acredita(X,Y))))
logo
-,acredita(a,a)
g) Somente os rpteis so cobras. igumas cobras so perigosas. Assim, nem todo rptil deixa de
ser perigoso.
(VX(cobra(X) ~ reptil(X)))
(3X ( cobra(X) /\ perigosa(X)))
assim
-,(VX(reptil(X) ~ -,perigoso(X)))
A cartilha da lgica
203
h) Ou alguns carros so velozes ou no h carro que no seja bom. Ora, no se d que todos os
carros sejam bons. Logo, alguns carros so velozes.
(3X (carro(X) "veloz(X))) v -{:IX (carro(X)" -,bom(X)))
-i('v'X(carro(X)
:.
veloz(X)))
'"
logo
(3X (carro(X) /\ veloz(X)))
i) Todos os moca-dores
( ciclista(X) v pobre(X))))
generoso(X)))
('v'X(generoso(X) ~ honesto(X)))
(3X (industrial(X) /\ ..bonesto(X)))
logo
(3X (industrial(X) /\ -,frances(X)))
10) Usando resoluo, verifique se possvel deduzir a concluso: -,('v'X(-.(blabla(X) "
blablal(X)))) a partir das premissas:
('v'X(-.(blabla(X) "blablal(X))))---+ (3Y(.::::;(b1ab1at(Y) v'b1abfa2(Y))j)
('v'X(blablal(X) v blabla2(X)))
. BIBLIOGRAFIA E REFERNCIAS
BERZTISs, A. T. Data Structures. New York, USA: Academic Press, 1975 .
. CHANG, C. L.; LEE, C. -T. Symbolic Logic anti Mechanical Theorem Proving. New York, USA:
Academic Press, 1973.
COEl..HO, H.; CorrA, J. C. Prolog by Examples. Berlin, Germany: Springer-Verlag, 1988. .
G~,
HEG:ENBERG,
HEGENBERG,
HEGENBERG,
m.
HoooER, C. J. Essentials o/Logic Programming. New York, USA: Oxford University Press, 1991.
HtITH, M.; RYAN, M. Logic in Computer Science - Mode/ling and Reasoning bout Systems. Cambridge, England: Cambridge University Press, 2004.
KowALSKI, R. A. Logic for Problem Solving. Elsevier-North Holland, London, England: Artificial
Sons, 1990.
A cartilha da lgica
205
NOLT, J.; RoHATYN, D. Lgica. So Paulo, Brasil: McGraw-Hill, 1991. (Coleo Schaum:).
SILVA, F. s. C.; FINGER, M.; Mao, A. e. V. Lgica para computao. So Paulo, Brasil; Ed. Thomson, 2006.
SINGH, A.