Escolar Documentos
Profissional Documentos
Cultura Documentos
Joaquim Reis
ISCTE-IUL, DCTI, Setembro de 2013
ndice
NDICE
TABELAS PARA LGICA SIMBLICA
REGRAS DE INFERNCIA PARA DEDUO NATURAL
1- HISTRIA RESUMIDA DA LGICA NO OCIDENTE
2- ALGUMAS DEFINIES DA LGICA
3- CLCULO PROPOSICIONAL - SINTAXE
4- CLCULO PROPOSICIONAL - SEMNTICA
5- CLCULO PROPOSICIONAL DEDUO NATURAL
6- CLCULO PROPOSICIONAL O PRINCPIO DA RESOLUO
7- CLCULO DE PREDICADOS SINTAXE
8- CLCULO DE PREDICADOS - SEMNTICA
9- CLCULO DE PREDICADOS DEDUO NATURAL
10- CLCULO DE PREDICADOS O PRINCPIO DA RESOLUO
BIBLIOGRAFIA
1
1
2
7
11
13
14
21
31
35
38
42
51
60
2/61
ISCTE-DCTI
negao
conjuno
implicao
quantificador universal
(no)
(e)
(se ..., ento ...)
(para todos ...)
disjuno
equivalncia
quantificador existencial
(ou)
(... se e s se ...)
(existe um ...)
a)
a)
a)
a)
a)
a)
a)
a)
c)
a)
a)
P
Q (P
Q)
(Q
P)
P
Q Q
P
P
Q P
Q
P
Q Q
P
(P
Q)
R P
(Q
R)
P
(Q
R) (P
Q)
(P
R)
P
F P
P
V V
P
P V
P P
(P
Q) P
Q
(
x P(x)) x P(x)
x P(x) (
x P(x))
(Kx P(x))
Q Kx P(x)
Q
(K1x P(x))
(K2x Q(x))
K1x K2y P(x)
Q(y)
eliminao da equivalncia
contraposio
eliminao da implicao
b)
b)
b)
b)
b)
b)
P
Q Q
P
(P
Q)
R P
(Q
R)
P
(Q
R) (P
Q)
(P
R)
P
V P
P
F F
P
P F
comutatividade
associatividade
distributividade
elemento neutro
elemento absorvente
tautologia, contradio
dupla negao
b)
b)
d)
b)
b)
(P
Q) P
Q
(
x P(x)) x P(x)
x P(x) (
x P(x))
(Kx P(x))
Q Kx P(x)
Q
(K1x P(x))
(K2x Q(x))
K1x K2y P(x)
Q(y)
leis de de Morgan
negao da
quantificao
quantificao da
conjuno e da
disjuno
Nota: As equivalncias 12 a 14 so vlidas apenas para o clculo de predicados. Naquelas, P(x) e Q(x)
significam frmulas contendo a varivel x, Q uma frmula no contendo a varivel x, e K, K1 e K2 significam
quantificadores (
ou ).
IA-LogicaSimbolica.doc
1/2
ISCTE-DCTI
I.D.
Introduo da
Disjuno
I.D.N.
Introduo da
Dupla Negao
regras de eliminao
P
Q
P Q
P Q
P
Q
P Q
P
P Q
P
P Q
P
Q
P Q
Q
E.C.
Eliminao
Conjuno
da
E.D.
Eliminao
Disjuno
da
E.D.N.
Eliminao da
Dupla Negao
M.P.
Modus Ponens
M.T.
Modus Tolens
x P(x)
P()
G.E.
Generalizao
Existencial
P(A)
x P(x)
x P(x)
P((v1,...,vn))
I.U.
Instanciao
Universal
I.E.
Instanciao
Existencial
Notas: Na regra para I.U., uma constante, ou uma funo (termo funcional), que denota um objecto
conhecido do domnio de discurso. Na regra para I.E., (v1,...,vn) uma funo (funo de Skolem) das n
variveis livres (v1,...,vn) que existam no mbito do quantificador existencial (se no existir varivel livre
alguma nesse mbito essa ser uma funo de 0 variveis, ou constante) completamente nova e arbitrria. Estas
regras so uma verso simplificada no completamente correta porque P pode ter mais variveis, incluindo
outras instncias da mesma varivel x.
IA-LogicaSimbolica.doc
2/2
ISCTE-DCTI
IA-LogicaSimbolica.doc
3/2
ISCTE-DCTI
IA-LogicaSimbolica.doc
5/61
ISCTE-DCTI
IA-LogicaSimbolica.doc
6/61
ISCTE-DCTI
inferir:
Animal(y) Cabea(y,z)
IA-LogicaSimbolica.doc
7/61
ISCTE-DCTI
(teoria das mnadas, anlise matemtica em simultneo com Isaac Newton -, mquina
calculadora, defesa da fuso entre igrejas catlica e protestante)
Ideias relativas lgica:
Criar uma linguagem artificial formal, baseada numa notao matemtica, para clarificar as
relaes lgicas.
Reduzir a inferncia lgica a um processo puramente formal e mecnico e poder dispor de
um procedimento geral de deciso para provar teoremas.
1847 George Boole
Introduziu o 1 sistema lgico aproximadamente correcto e razoavelmente abrangente
baseado numa linguagem artificial formal (superior ao sistema de Aristteles).
1864 Augustus de Morgan
Tratou pela 1 vez (desde os tempos Aristteles), de forma sistemtica, as relaes lgicas,
i.e., os predicados de mais de 1 argumento.
1870 Charles Sanders Peirce
Estudou em profundidade a lgica das relaes. Desenvolveu tambm a lgica de 1 ordem
(independentemente de Frege e mais tarde, em 1883).
1877 Ernst Schrder
Forma normal conjuntiva e forma normal disjuntiva.
Forma normal conjuntiva - Nesta forma, uma frmula lgica composta apenas por
conjunes de disjunes de literais:
(L1,1 ... L1,k1) ... (Li,1 ... Li,ki) ... (Ln,1 ... Ln,kn)
Forma normal disjuntiva - Nesta forma, uma frmula lgica composta apenas por disjunes
de conjunes de literais:
(L1,1 ... L1,k1) ... (Ln,1 ... Ln,kn)
Em ambos os casos os Li,j significam literais.
1879 Gottlob Frege
Lgica simblica (com manipulao de smbolos abstractos). Notao difcil. O 1 a expor de
forma abrangente o clculo proposicional e o clculo de predicados. Semntica do clculo de
predicados. Introduo de quantificadores e possibilidade de imbricar mbitos de
quantificadores nas frases lgicas.
1895 Giuseppe Peano (1858-1932)
Notao actual da lgica de 1 ordem.
1910 A. N. Whitehead e B. Russell
(Principia Mathematica) Reduziram as leis bsicas da aritmtica a proposies lgicas
elementares. Passagem forma prenex, i.e. frases lgicas com quantificadores no incio:
Quantificadores FraseLgica
1915 Leopold Lwenheim
Teoria dos modelos.
1920 Thoralf Skolem
Joaquim Reis, Set-2013
IA-LogicaSimbolica.doc
8/61
ISCTE-DCTI
A1 A2 ... An C
(A1 A2 ... An) C
A1 A2 ... An C
IA-LogicaSimbolica.doc
9/61
ISCTE-DCTI
A1 A2 ... An C1 C2 ... Cm
VERDADEIRO C1 C2 ... Cm
IA-LogicaSimbolica.doc
10/61
ISCTE-DCTI
Suposies Ontolgicas
(natureza da realidade)
Suposies Epistemolgicas
(tipo de crena)
clculo proposicional
clculo de predicados
lgica temporal
teoria das probabilidades
lgica vaga
factos
factos, objectos, relaes
factos, objectos, relaes, tempo
factos
grau de verdade
IA-LogicaSimbolica.doc
11/61
ISCTE-DCTI
frmulas
lgicas
representao
consequncia lgica
frmula
lgica
semntica
semntica
mundo
factos
procede
IA-LogicaSimbolica.doc
facto
12/61
ISCTE-DCTI
(no)
negao
conjuno (e)
implicao (se ..., ento ...)
(ou)
disjuno
equivalncia
(... se e s se ...)
Literal Uma proposio simples (literal positivo) ou uma proposio simples negada (literal
negativo). Por exemplo, se P for uma proposio simples, P e P so ambos literais (o
primeiro um literal positivo e o segundo um literal negativo).
Sintaxe do clculo proposicional
Frmulas lgicas bem formadas:
1234-
= ProposioSimples | ProposioComposta
= V | F | P | Q | Xpto | Xp3Zv ...
= ( Frmula ) | Frmula Conectiva Frmula
| Frmula
= | | |
Q
Q
Q R
(Q R)
U Q R S
(Q ((R) S)
Frmulas incorrectas
P
)
P
P Q
(P Q(
( )
IA-LogicaSimbolica.doc
13/61
ISCTE-DCTI
G
V
V
F
F
G
F
V
H
V
F
V
F
GH
V
F
F
F
GH
V
V
V
F
GH
V
F
V
V
GH
V
F
F
V
Exemplos:
frmula
P
factos
P: Chove em Lisboa
P: Chove em Lisboa
P Q
P: Chove em Lisboa
Q: Faz sol em Coimbra
P: Chove em Lisboa
Q: Faz sol em Coimbra
P: Chove em Lisboa
Q: Faz sol em Coimbra
P: Chove em Lisboa
Q: Faz sol em Coimbra
P: Choveu
Q: O piso est molhado
P: Choveu
Q: O piso est molhado
P: Choveu
Q: O piso est molhado
P: Choveu
Q: O piso est molhado
P: Joo irmo de Pedro
Q: Pedro irmo de Joo
P: Joo irmo de Pedro
Q: Pedro irmo de Joo
P: Joo irmo de Pedro
Q: Pedro irmo de Joo
V
V
F
V
F
V
F
F
V
V
V
F
F
V
F
F
V
V
V
F
F
F
P Q
P Q
P Q
P Q
P Q
P Q
P Q
P Q
P Q
P Q
IA-LogicaSimbolica.doc
interpretao
V
valor lgico
V
F
V
F
V
F
V
V
V
F
V
14/61
ISCTE-DCTI
S
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
S
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
PQ
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
R(S)
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
(22 = 4 interpretaes)
(PQ)P
V
F
F
F
((PQ)P)Q
V
V
V
V
(22 = 4 interpretaes)
(PQ)(R(S))
F
V
V
F
V
V
V
V
V
V
V
V
V
V
V
V
(PQ)
F
V
F
F
IA-LogicaSimbolica.doc
(PQ)(PQ)
F
F
F
F
15/61
ISCTE-DCTI
Frmula vlida (ou tautologia) Frmula que verdadeira para todas as suas interpretaes.
Frmula invlida (ou no vlida) Frmula que no verdadeira para todas as suas
interpretaes (i.e., falsa pelo menos para uma).
Frmula inconsistente (ou insatisfivel, ou no satisfivel, ou contradio) Frmula que
falsa para todas as suas interpretaes.
Frmula consistente (ou satisfivel) Frmula que no falsa para todas as suas
interpretaes (i.e., verdadeira pelo menos para uma).
Assim, deve ser evidente que:
1234-
frmulas consistentes
frmulas
inconsistentes
frmulas
vlidas
frmulas invlidas
Diz-se que uma interpretao I satisfaz a frmula P, ou que P satisfeita por I, se P
verdadeira sob I.
Diz-se que uma interpretao I no satisfaz (ou falsifica) a frmula P, ou que P no satisfeita
(ou falsificada) por I, se P falsa sob I.
Diz-se que uma interpretao I um modelo da frmula P, se I satisfaz P.
IA-LogicaSimbolica.doc
16/61
ISCTE-DCTI
Exerccios:
Das seguintes frmulas, dizer quais so vlidas, inconsistentes ou nem uma coisa nem outra.
a) Fumo Fumo
b) Fumo Fogo
c) (Fumo Fogo) (Fumo Fogo)
d) Fumo Fogo Fogo
e) ((Fumo Calor) Fogo) ((Fumo Fogo) (Calor Fogo))
f) (Fumo Fogo) ((Fumo Calor) Fogo)
g) Grande Estpido (Grande Estpido)
h) (Grande Estpido) Estpido
Equivalncia lgica Duas frmulas P e Q so equivalentes (ou P equivalente a Q, o que se
denota por P Q) se e s se, os valores lgicos de P e Q so iguais sob todas as interpretaes
de P e Q.
Exemplo:
Verificar que PQ PQ
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
V
V
PQ
V
F
V
V
a)
a)
a)
a)
a)
a)
a)
PQ (PQ)(QP)
PQ QP
PQ PQ
PQ QP
(PQ)R P(QR)
P(QR) (PQ)(PR)
PF P
PV V
PP V
P P
(PQ) PQ
b)
b)
b)
b)
b)
b)
PQ QP
(PQ)R P(QR)
P(QR) (PQ)(PR)
PV P
PF F
PP F
b) (PQ) PQ
IA-LogicaSimbolica.doc
eliminao.da equivalncia
contraposio
eliminao da implicao
comutatividade
associatividade
distributividade
elemento neutro
elemento absorvente
tautologia, contradio
dupla negao
leis de de Morgan
17/61
ISCTE-DCTI
Consequncia lgica (2) Uma frmula G consequncia lgica das frmulas P1, P2,.., Pn se
e s se, para qualquer interpretao I sob a qual P1 P2 ... Pn verdadeira, G tambm
verdadeira. P1, P2,.., Pn so os axiomas (ou postulados, ou premissas) de G, e G o teorema.
Teorema 1 Uma frmula G consequncia lgica das frmulas P1, P2,.., Pn se e s se, a
frmula P1 P2 ... Pn G vlida.
Teorema 2 - Uma frmula G consequncia lgica das frmulas P1, P2,.., Pn se e s se, a
frmula P1 P2 ... Pn G inconsistente.
Maneiras de verificar se a frmula G consequncia lgica das frmulas P1, P2,.., Pn,:
Pela definio - Constri-se uma tabela de verdade para a frmula P1 P2 ... Pn e para a
frmula G para verificar se para cada interpretao em que P1 P2 ... Pn verdadeira G
tambm verdadeira (e apenas isso pois, note-se que, o contrrio no necessrio verificar-se).
Pelo teorema 1 Constri-se a tabela de verdade para a frmula P1 P2 ... Pn G para
verificar se esta frmula vlida.
Pelo teorema 2 Constri-se a tabela de verdade para a frmula P1 P2 ... Pn G para
verificar se esta frmula inconsistente.
Exemplo:
Considerem-se as seguintes frmulas de clculo proposicional:
1
2
3
P Q
Q
P
Demonstrar, por cada um dos trs mtodos antes descritos, que a frmula 3 uma
consequncia lgica das frmulas 1 e 2.
Mtodo 1 (pela definio) Constri-se uma tabela de verdade para (PQ)Q e P, para
mostrar que P verdadeira para todos os modelos de(PQ)Q:
P
Q
(PQ)
Q
(PQ)Q
V
V
V
F
F
V
F
F
V
F
F
V
V
F
F
F
F
V
V
V
Em cada linha em que (PQ)Q V, P tambm V.
P
F
F
V
V
IA-LogicaSimbolica.doc
P
F
F
V
V
((PQ)Q)P
V
V
V
V
18/61
ISCTE-DCTI
Mtodo 3 (pelo teorema 2) Constri-se uma tabela de verdade para (PQ)QP, para
mostrar que esta frmula inconsistente:
P
Q
(PQ)
Q
V
V
V
F
V
F
F
V
F
V
V
F
F
F
V
V
A frmula (PQ)QP inconsistente.
(PQ)Q
F
F
F
V
(PQ)QP
F
F
F
F
Semntica e teoria dos modelos Como foi dito, um modelo de uma frmula lgica uma
interpretao que satisfaz essa frmula. Por outras palavras, um modelo representa um mundo
onde essa frmula verdadeira.
Os modelos permitem definir o significado de uma frmula lgica de uma forma alternativa
de defini-lo atravs de uma atribuio de valores lgicos a cada um dos smbolos de
proposio simples da frmula lgica, como se fez anteriormente ao construir tabelas de
verdade (cada modelo de uma frmula lgica corresponde a uma linha na tabela de verdade
para essa frmula cujo valor lgico para a frmula V).
Os modelos permitem definir o significado de uma frmula lgica atravs de operaes de
conjuntos sobre conjuntos de modelos. Modelos de frmulas lgicas complexas (proposies
compostas) podem ser definidos em termos de modelos de frmulas mais simples suas
componentes, como se mostra na figura seguinte. Nesta figura, P e Q representam as frmulas
lgicas componentes e as partes sombreadas correspondem aos modelos da frmula lgica
complexa.
P
Q
P
P
P
Q
Q
P
Q
P
P
Q
Q
IA-LogicaSimbolica.doc
19/61
ISCTE-DCTI
De forma resumida, para converso de uma frmula lgica de clculo proposicional para uma
forma normal empregam-se as regras de equivalncia bsicas, primeiro para eliminar as
conectivas e que existam na frmula, depois para que conectiva fique a afectar
directamente apenas proposies simples e, por fim, usar as leis da distributividade de modo a
concluir obtendo a respectiva forma normal.
Forma normal conjuntiva - Nesta forma, uma frmula lgica composta apenas por
conjunes de disjunes de literais, esquematicamente:
(L1,1 ... L1,k1) ... (Li,1 ... Li,ki) ... (Ln,1 ... Ln,kn)
em que os Li,j so literais.
Forma clausal Forma normal conjuntiva representada atravs de um conjunto de clusulas
em conjuno implcita, em que as clusulas so conjuntos de literais em disjuno implcita.
Os sistemas de deduo baseados no princpio da resoluo (ver mais adiante) necessitam que
o conjunto de frmulas lgicas a usar seja convertido para esta forma. Nestes sistemas, a
frmula lgica acima apresentada de forma esquemtica em forma normal conjuntiva
representada na forma de um conjunto de clusulas Ci:
{ C1, ..., Ci, ..., Cn }
entre as quais as conjunes esto implcitas e em que cada clusula Ci o conjunto:
{ Li,1 , ..., Li,ki }
que representa o componente (Li,1 ... Li,ki) da frmula lgica (com disjunes implcitas
entre os literais da clusula).
Forma normal disjuntiva - Nesta forma, uma frmula lgica composta apenas por disjunes
de conjunes de literais, esquematicamente:
(L1,1 ... L1,k1) ... (Ln,1 ... Ln,kn)
IA-LogicaSimbolica.doc
20/61
ISCTE-DCTI
P1
:
Pn
G1
:
Gm
Regras de Eliminao
P
Q
P Q
P Q
P
Q
I.D.
Introduo da
Disjuno
P Q
P
P Q
I.D.N.
Introduo da
Dupla Negao
P Q
P
Q
P Q
Q
E.C.
Eliminao
Conjuno
da
E.D.
Eliminao
Disjuno
da
E.D.N.
Eliminao da
Dupla Negao
M.P.
Modus Ponens
M.T.
Modus Tolens
IA-LogicaSimbolica.doc
21/61
ISCTE-DCTI
Proposio
Poupo
Tenho dinheiro
P
D
Dadas as premissas:
1
2
Frase em portugus
Frmula lgica
Poupo
Tenho dinheiro
P
D
Pretende-se provar que a seguinte concluso uma consequncia lgica das premissas:
Frase em portugus
Frmula lgica
P D
Frase em portugus
Frmula lgica
Poupo
Tenho dinheiro
Poupo e tenho dinheiro
P
D
P D
(1,2,I.C.)
Exemplo elementar 2:
Poupo e tenho dinheiro. Ser que poupo?
Dada a premissa:
1
Frase em portugus
Frmula lgica
P D
Frmula lgica
Poupo
IA-LogicaSimbolica.doc
22/61
ISCTE-DCTI
Frase em portugus
Frmula lgica
P D
P
(1,E.C.)
Exemplo elementar 3:
Poupo. Poupo ou durmo?
Frase em portugus
Proposio
Poupo
Durmo
P
S
Dadas a premissa:
1
Frase em portugus
Frmula lgica
Poupo
Frmula lgica
Poupo ou durmo
P S
Frase em portugus
Frmula lgica
Poupo
Poupo ou durmo
P
P S
(1,I.D.)
Exemplo elementar 4:
Poupo ou durmo. No poupo. Ser que durmo?
Dadas as premissas:
1
2
Frase em portugus
Frmula lgica
Poupo ou durmo
No poupo
P S
P
IA-LogicaSimbolica.doc
23/61
ISCTE-DCTI
Pretende-se provar que a seguinte concluso uma consequncia lgica das premissas:
Frase em portugus
Frmula lgica
Durmo
Frase em portugus
Frmula lgica
Poupo ou durmo
No poupo
Durmo
P S
P
S
(1,2,E.D.)
Exemplo elementar 5:
Poupo. Ser que no verdade que no poupo?
Frase em portugus
Proposio
Poupo
Dadas a premissa:
1
Frase em portugus
Frmula lgica
Poupo
Frmula lgica
Frase em portugus
Frmula lgica
Poupo
No verdade que no poupo
P
P
(1,I.D.N.)
Exemplo elementar 6:
No verdade que no gasto. Ser que gasto?
Frase em portugus
Proposio
Gasto
IA-LogicaSimbolica.doc
24/61
ISCTE-DCTI
Dadas a premissa:
1
Frase em portugus
Frmula lgica
Frmula lgica
Gasto
Frase em portugus
Frmula lgica
G
G
(1,E.D.N.)
Exemplo elementar 7:
Se poupo, ento tenho dinheiro. Eu poupo. Tenho dinheiro?
Frase em portugus
Proposio
Poupo
Tenho dinheiro
P
D
Dadas as premissas:
1
2
Frase em portugus
Frmula lgica
P D
P
Pretende-se provar que a seguinte concluso uma consequncia lgica das premissas:
Frase em portugus
Frmula lgica
Tenho dinheiro
Frase em portugus
Frmula lgica
P D
P
D
(1,2,M.P.)
IA-LogicaSimbolica.doc
25/61
ISCTE-DCTI
Exemplo elementar 8:
Se poupo, ento tenho dinheiro. No tenho dinheiro. Ser que no poupo?
Dadas as premissas:
1
2
Frase em portugus
Frmula lgica
P D
D
Pretende-se provar que a seguinte concluso uma consequncia lgica das premissas:
Frase em portugus
Frmula lgica
No poupo
Frase em portugus
Frmula lgica
P D
D
P
(1,2,M.T.)
Proposio
humano
smio
mamfero
H
S
M
Dadas as premissas:
1
2
Frase em portugus
Frmula lgica
H S M
S
Pretende-se provar que a seguinte concluso uma consequncia lgica das premissas:
Frase em portugus
Frmula lgica
mamfero
IA-LogicaSimbolica.doc
26/61
ISCTE-DCTI
Frase em portugus
Frmula lgica
humano ou smio
mamfero
H S
M
(2,I.D.)
(1,3,M.P.)
Exemplo 2:
Se humano ou smio, ento mamfero. No mamfero. Ser que no smio?
Dadas as premissas:
1
2
Frase em portugus
Frmula lgica
H S M
M
Pretende-se provar que a seguinte concluso uma consequncia lgica das premissas:
Frase em portugus
Frmula lgica
No smio
Frase em portugus
Frmula lgica
No humano e no smio
No smio
H S
S
(1,2,M.T.)
(3,E.C.)
Exemplo 3:
Sabe-se que se est quente e est hmido, ento chover e que se est hmido, ento est
quente. Sabe-se ainda que est hmido. Pretende-se concluir que: a) Est quente; b) Chover.
Frase em portugus
Proposio
Est quente
Est hmido
Chover
Q
H
C
Dadas as premissas:
1
2
3
Frase em portugus
Frmula lgica
Q H C
H Q
H
IA-LogicaSimbolica.doc
27/61
ISCTE-DCTI
Frmula lgica
Est quente
Chover
Q
C
Frase em portugus
Frmula lgica
Est quente
(2,3,M.P.)
Frase em portugus
Frmula lgica
Est quente
Est quente e est hmido
Chover
Q
Q H
C
(2,3,M.P.)
(4,3,I.C.)
(1,5,M.P.)
Exemplo 4:
Suponha-se que o preo das aces diminui se a taxa de juro aumenta. Suponha-se tambm
que h pessoas descontentes se o preo das aces diminui. Admitindo que a taxa de juro
aumenta, mostrar que h pessoas descontentes.
Frase em portugus
Proposio
J
A
D
Dadas as premissas:
1
2
3
Frase em portugus
Frmula lgica
J A
A D
J
Pretende-se provar que as seguinte concluso uma consequncia lgica das premissas:
Frase em portugus
Frmula lgica
H pessoas descontentes
IA-LogicaSimbolica.doc
28/61
ISCTE-DCTI
4
5
Frase em portugus
Frmula lgica
A
D
(1,3,M.P.)
(2,4,M.P.)
Exemplo 5:
Suponha-se que se conhecem as seguintes reaces qumicas:
MgO + H2 Mg + H2O
C + O2 CO2
Proposio
MgO
H2
Mg
H2O
C
O2
CO2
H2CO3
MgO
H2
Mg
H2O
C
O2
CO2
H2CO3
Dadas as premissas:
1
2
3
4
5
6
7
Frase
Frmula lgica
MgO + H2 Mg + H2O
C + O2 CO2
CO2 + H2O H2CO3
MgO
H2
O2
C
MgO H2 Mg H2O
C O2 CO2
CO2 H2O H2CO3
MgO
H2
O2
C
Pretende-se provar que as seguinte concluso uma consequncia lgica das premissas:
Frase
Frmula lgica
H2CO3
H2CO3
IA-LogicaSimbolica.doc
29/61
ISCTE-DCTI
Frase em portugus
Frmula lgica
C + O2
CO2
MgO + H2
Mg + H2O
H2O
CO2 + H2O
H2CO3
C O2
CO2
MgO H2
Mg H2O
H2O
CO2 H2O
H2CO3
(7,6,I.C.)
(2,8,M.P.)
(4,5,I.C.)
(1,10,M.P.)
(11,E.C.)
(9,12,I.C.)
(3,13,M.P.)
Exemplo 6:
Dadas as premissas:
1
2
3
P (Q (R S))
P
S
Pretende-se concluir Q.
Como se prova Q?
4
5
6
(1,2,M.P.)
(Q R) (Q S)
Q S
Q
(4,E.C.)
(3,5,E.D.)
IA-LogicaSimbolica.doc
30/61
ISCTE-DCTI
{ P, Q }
{ P }
{ Q }
de 1 e 2
Nota: Este exemplo elementar corresponde, no caso dos sistemas de deduo natural, ao
emprego do Modus Ponens, j que a clusula { P, Q } representa a frmula lgica
PQ, que equivale logicamente frmula PQ (pela equivalncia lgica apelidada de
eliminao da implicao), permitindo, ento, de PQ e de P deduzir Q.
Exemplo elementar 2:
1
2
3
{ P, Q }
{ Q }
{ P }
de 1 e 2
Nota: Este exemplo elementar corresponde, no caso dos sistemas de deduo natural, ao
emprego do Modus Tolens, j que a clusula { P, Q } representa a frmula lgica
IA-LogicaSimbolica.doc
31/61
ISCTE-DCTI
{ P, Q }
{ Q, R }
{ P, R }
de 1 e 2
{ P, Q }
{ P, Q }
{ Q }
de 1 e 2
Exemplo elementar 5:
1
2
3
{ P, Q, R }
{ P, S }
{ Q, R, S }
de 1 e 2
Para provar que uma dada frmula lgica P uma consequncia lgica de um conjunto de
frmulas lgicas tomadas como premissas dado opera-se de maneira diferente do que para os
sistemas de deduo natural, de acordo com o seguinte:
1- Todas as frmulas lgicas tm de ser convertidas para a forma normal conjuntiva e
representadas na forma clausal.
2- A prova uma prova por refutao: em vez de derivar P directamente do conjunto de
frmulas lgicas tomadas como premissas, prova-se que P inconsistente com esse
conjunto de frmulas (i.e., que P em conjuno com esse conjunto de frmulas
insatisfivel).
O processo geral de prova manual de uma frmula P quando se emprega a regra da resoluo
, ento:
12345-
Converter o conjunto de frmulas lgicas tomadas como premissas para a forma clausal.
Negar P.
Converter P para a forma clausal.
Juntar as clusulas de P ao conjunto de frmulas tomadas como premissas.
Empregando a regra da resoluo, tentar derivar a clusula vazia (i.e., a clusula { }).
IA-LogicaSimbolica.doc
32/61
ISCTE-DCTI
((PS)Q)(Q(PS))
(PSQ)(Q(PS))
(PSQ)(QP)(QS)
{ P, S, Q }
{ Q, P }
{ Q, S }
(PQ)(RS)
PQ(RS)
(PQR)(PQS)
{ P, Q, R }
{ P, Q, S }
P(QR)
P(QR)
(PQ)(PR)
{ P, Q }
{ P, R }
IA-LogicaSimbolica.doc
33/61
ISCTE-DCTI
{ F, G }
{ G, H }
3 { F }
2
Empregando a regra da resoluo e justificando cada passo de prova com os nmeros das
clusulas usadas, prove por refutao H.
Resposta:
4
{ H }
5
6
7
{ G }
{ H }
{ }
de 1 e 3
de 2 e 5
de 4 e 6
{
2 {
3 {
4 {
A, B, C }
A, B, D }
A }
D }
Empregando a regra da resoluo e justificando cada passo de prova com os nmeros das
clusulas usadas, prove por refutao B.
Resposta:
5
{ B }
{ B, D }
{ D }
{ }
7
8
de 2 e 3
de 5 e 6
de 4 e 7
IA-LogicaSimbolica.doc
34/61
ISCTE-DCTI
Proposio
P
Q
R
IA-LogicaSimbolica.doc
35/61
ISCTE-DCTI
Ocorrncia de varivel livre (ou no ligada) Diz-se da ocorrncia de uma varivel numa
frmula lgica quando essa ocorrncia no ligada.
Varivel livre (ou no ligada, ou no quantificada) numa frmula lgica Diz-se quando pelo
menos uma ocorrncia da varivel livre na frmula lgica.
Varivel ligada (ou quantificada) numa frmula lgica Diz-se quando pelo menos uma
ocorrncia da varivel ligada na frmula lgica.
Conectiva lgica (de clculo de predicados) Smbolo que denota uma operao lgica. Pode
ser (por ordem de prioridade):
1
2
3
4
negao
conjuno
implicao
quant. universal
(no)
(e)
(se ..., ento ...)
(para todos ...)
disjuno
equivalncia
quant. existencial
(ou)
(... se e s se ...)
(existe um ...)
FrmulaAtmica
Termo
Conectiva
Quantificador
Constante
Varivel
Predicado
Funo
= FrmulaAtmica
| Frmula Conectiva Frmula
| Quantificador Varivel ... Frmula
| Frmula
| ( Frmula )
= Predicado(Termo, ...)
= Funo(Termo, ...) | Constante | Varivel
=
| | |
=
|
=
A | X | Xpto | Z31p | ...
=
a | x | spt
| v3
| ...
=
P | Q | Rzt | Xp7 | ...
=
F | G | Lbt | F3
| ...
IA-LogicaSimbolica.doc
36/61
ISCTE-DCTI
Exemplos de funes:
Significado em portugus
Dobro(34)
reaRectngulo(b,h)
A me de Ana
Me(Ana)
A me de x
Me(x)
Exemplos de predicados:
Significado em portugus
x gordo
Gordo(x)
y humano
Humano(y)
Confcio humano
Humano(Confcio)
z mortal
Mortal(z)
x maior que y
Maior(x,y)
Ama(Joo,Maria)
Ama(Me(Maria),Maria)
Distncia(Lisboa,Porto,300)
Frmula lgica
Humano(x) Mortal(x)
Alto(y) Gordo(y)
x y
Maior(y,x)
y x
Maior(y,x)
IA-LogicaSimbolica.doc
37/61
ISCTE-DCTI
G
H
GH
GH
GH
V
V
V
V
V
V
F
F
V
F
F
V
F
V
V
F
F
F
F
V
Nota: Idntico s tabelas de verdade para o clculo proposicional.
G
F
V
GH
V
F
F
V
x P(x) Q(F(x),A)
F(1)
2
Se x = 1, ento:
Se x = 2, ento:
F(2)
1
P(1)
F
P(x) Q(F(x),A)
P(x) Q(F(x),A)
P(2)
V
P(1) Q(F(1),A)
P(1) Q(2,1)
FF
P(2) Q(F(2),A)
P(2) Q(1,1)
VV
IA-LogicaSimbolica.doc
38/61
ISCTE-DCTI
Frmula consistente (ou satisfivel) Frmula para a qual existe uma interpretao sob a qual
a frmula verdadeira.
Diz-se que uma interpretao I satisfaz a frmula P, ou que P satisfeita por I, se P
verdadeira sob I.
Diz-se que uma interpretao I um modelo da frmula P, se I satisfaz P.
Frmula vlida Frmula que satisfeita para todas as suas interpretaes.
Frmula inconsistente (ou insatisfivel, ou no satisfivel) Frmula para a qual no existe
interpretao alguma que a satisfaz.
Consequncia lgica (3) Uma frmula G consequncia lgica das frmulas P1, P2,.., Pn se
e s se, para qualquer interpretao I, se P1 P2 ... Pn verdadeira sob I, G tambm
verdadeira sob I.
Equivalncia Lgica Para operar sobre frmulas lgicas de clculo de predicados e
transform-las em frmulas equivalentes existe um conjunto de equivalncias bsicas,
exposto na seguinte tabela de equivalncias (P, Q, R, Px e Qx so frmulas e V e F os valores
VERDADEIRO e FALSO, respectivamente):
equivalncias
1
2
3
4
5
6
7
8
9
10
11
12
13
14
a)
a)
a)
a)
a)
a)
a)
a)
c)
a)
a)
PQ (PQ)(QP)
PQ QP
PQ PQ
PQ QP
(PQ)R P(QR)
P(QR) (PQ)(PR)
PF P
PV V
PP V
P P
(PQ) PQ
(x P(x)) x P(x)
x P(x) (x P(x))
(Kx P(x))Q Kx P(x)Q
(K1x P(x))(K2x Q(x))
K1x K2y P(x)Q(y)
eliminao da equivalncia
contraposio
eliminao da implicao
b)
b)
b)
b)
b)
b)
PQ QP
(PQ)R P(QR)
P(QR) (PQ)(PR)
PV P
PF F
PP F
comutatividade
associatividade
distributividade
elemento neutro
elemento absorvente
tautologia, contradio
dupla negao
b)
b)
d)
b)
b)
(PQ) PQ
(x P(x)) x P(x)
x P(x) (x P(x))
(Kx P(x))Q Kx P(x)Q
(K1x P(x))(K2x Q(x))
K1x K2y P(x)Q(y)
leis de de Morgan
negao da
quantificao
quantificao da
conjuno e da
disjuno
Nota: excepo das ltimas trs equivalncias, 12 a 14, cada uma das restantes corresponde
a uma equivalncia aplicvel no clculo proposicional. Naquelas, P(x) e Q(x) significam
frmulas contendo a varivel x, Q uma frmula no contendo a varivel x, e K, K1 e K2
significam quantificadores ( ou ).
Semntica e teoria dos modelos Tal como se disse para o caso do clculo proposicional,
tambm no caso do clculo de predicados os modelos permitem definir o significado de uma
frmula lgica atravs de operaes de conjuntos sobre conjuntos de modelos. Modelos de
frmulas lgicas complexas (frmula no atmicas) podem ser definidos em termos de
modelos de frmulas mais simples suas componentes, de forma similar que foi exposta em
Joaquim Reis, Set-2013
IA-LogicaSimbolica.doc
39/61
ISCTE-DCTI
IA-LogicaSimbolica.doc
40/61
ISCTE-DCTI
IA-LogicaSimbolica.doc
41/61
ISCTE-DCTI
uma substituio
{ x/G(y), y/F(x) }
no uma substituio
IA-LogicaSimbolica.doc
42/61
ISCTE-DCTI
emparelhamento
sim
{}
no
P(A)
P(A)
sim
P(A)
Q(A)
no
P(A)
P(B)
no
P(A)
P(F(B))
no
P(F(B))
P(F(B))
sim
P(F(A))
P(F(B))
no
sim
{ x/A }
sim
{ y/B }
P(A)
sim
{ x/P(A) }
P(y)
sim
{ x/P(y) }
P(F(B))
sim
{ z/P(F(B)) }
sim
{ x/y }
P(x)
P(y)
sim
{ x/y }
P(F(G(z)))
P(F(y))
sim
{ y/G(z) }
P(F(G(H(J(z)))))
P(F(G(H(A))))
no
P(x,x,y,v)
P(A,A,F(B),v)
sim
{ x/A, y/F(B) }
P(A,y,C)
P(x,B,z)
sim
P(x,y,C)
P(y,B,z)
sim
Data(d1,m,1983)
Data(d2,Maio,y)
sim
Ponto(x,y)
Ponto(1,3)
sim
{ x/1, y/3 }
Ponto(x,y)
Ponto(x,y,z)
no
{}
{}
IA-LogicaSimbolica.doc
43/61
ISCTE-DCTI
emparelhamento
Cor(Tweety,Amarelo)
Cor(x,y)
sim
Cor(Tweety,Amarelo)
Cor(x,x)
no
Cor(Chapeu(Carteiro),Azul)
Cor(Chapeu(y),x)
sim
{ y/Carteiro, x/Azul }
R(F(x),B)
R(y,z)
sim
{ y/F(x), z/B }
R(F(y),x)
R(x,F(B))
sim
{ x/F(B), y/B }
R(F(y),y,x)
R(x,F(A),F(v))
sim
Ama(x,y)
Ama(y,x)
sim
{ x/y }
IA-LogicaSimbolica.doc
{ x/Tweety, y/Amarelo }
44/61
ISCTE-DCTI
I.D.
Introduo da
Disjuno
I.D.N.
Introduo da
Dupla Negao
Regras de Eliminao
P
Q
P Q
P Q
P
Q
P Q
P
P Q
P Q
P
Q
P Q
Q
E.C.
Eliminao
Conjuno
da
E.D.
Eliminao
Disjuno
da
E.D.N.
Eliminao da
Dupla Negao
M.P.
Modus Ponens
M.T.
Modus Tolens
x P(x)
P()
G.E.
Generalizao
Existencial
P(A)
x P(x)
x P(x)
P((v1,...,vn))
I.U.
Instanciao
Universal
I.E.
Instanciao
Existencial
Notas: Na regra para I.U., uma constante, ou uma funo (termo funcional), que denota
um objecto conhecido do domnio de discurso. Na regra para I.E., (v1,...,vn) uma
funo (funo de Skolem) das n variveis livres (v1,...,vn) que existam no mbito do
quantificador existencial (se no existir varivel livre alguma nesse mbito essa ser uma
funo de 0 variveis, ou constante) completamente nova e arbitrria. Estas regras so uma
verso simplificada no completamente correta porque P pode ter mais variveis, incluindo
outras instncias da mesma varivel x.
IA-LogicaSimbolica.doc
45/61
ISCTE-DCTI
Alto(Pedro)
Concluir que existe algum (no universo de discurso dos humanos) que alto.
Prova:
2
1,G.E.
x Alto(x)
x Alto(x)
Alto(Pedro)
1,I.U.
x Humano(x)(y Deuluz(y,x))
Concluir que para cada humano existe um outro humano especfico (a me dele) que o deu
luz.
Prova:
2
x Humano(x)
Deuluz(Me(x),x)
1,I.E.
IA-LogicaSimbolica.doc
46/61
ISCTE-DCTI
x Humano(x)Mortal(x)
Humano(Confcio)
Humano(Confcio)Mortal(Confcio)
Mortal(Confcio)
1,I.U.
2,3,M.P.
x Produto(x)(BomDesign(x)BemPublicitado(x))Vende(x)
2 x Produto(x)Util(x)(BomDesign(x)BemPublicitado(x))
VendeMuito(x)
3 Produto(MataMoscas)BomDesign(MataMoscas)VendeMuito(MataMoscas)
Deduzir, empregando deduo natural e justificando cada passo de prova com a regra e os
nmeros das clusulas usadas:
a) Vende(MataMoscas)
b) Util(MataMoscas)
Resposta:
4
5
6
7
8
9
10
11
12
13
14
Produto(MataMoscas)(BomDesign(MataMoscas)
BemPublicitado(MataMoscas))Vende(MataMoscas)
Produto(MataMoscas)
BomDesign(MataMoscas)
BomDesign(MataMoscas)BemPublicitado(MataMoscas)
Produto(MataMoscas)(BomDesign(MataMoscas)
BemPublicitado(MataMoscas))
Vende(MataMoscas)
Produto(MataMoscas)Util(MataMoscas)
(BomDesign(MataMoscas)BemPublicitado(MataMoscas))
VendeMuito(MataMoscas)
VendeMuito(MataMoscas)
Produto(MataMoscas)Util(MataMoscas)
(BomDesign(MataMoscas)BemPublicitado(MataMoscas))
Util(MataMoscas)(BomDesign(MataMoscas)
BemPublicitado(MataMoscas))
Util(MataMoscas)
IA-LogicaSimbolica.doc
1,I.U.
3,E.C.(2)
3,E.C.(2)
6,I.D.
5,7,I.C.
4,8,M.P.
2,I.U.
3,E.C.(2)
10,11,M.T.
5,12,E.D.
7,13,E.D.
47/61
ISCTE-DCTI
x Sol(x)(Chuva(x)Vento(x))BomTempo(x)
x y z u Viagem(x,y,z,u)BoaMoto(z)BomTempo(x)
BomTempo(y)BoaViagem(x,y,z,u)
x y z u BoaViagem(x,y,z,u)Cuidadoso(u)EmPerigo(u)
Viagem(Lisboa,Coimbra,V1000,Pedro)BoaMoto(V1000)
Viagem(Lisboa,Coimbra,T650,Joo)Cuidadoso(Joo)
Sol(Lisboa)Chuva(Lisboa)Vento(Lisboa)Sol(Coimbra)
Deduzir, empregando deduo natural e justificando cada passo de prova com a regra e os
nmeros das clusulas usadas:
a) BomTempo(Lisboa)
b) BoaViagem(Lisboa,Coimbra,V1000,Pedro)
c) EmPerigo(Joo)
Resposta:
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Sol(Lisboa)(Chuva(Lisboa)Vento(Lisboa))
BomTempo(Lisboa)
Chuva(Lisboa)Vento(Lisboa)
Sol(Lisboa)(Chuva(Lisboa)Vento(Lisboa))
BomTempo(Lisboa)
Viagem(Lisboa,Coimbra,V1000,Pedro)BoaMoto(V1000)
BomTempo(Lisboa)BomTempo(Coimbra)
BoaViagem(Lisboa,Coimbra,V1000,Pedro)
Viagem(Lisboa,Coimbra,V1000,Pedro)BoaMoto(V1000)
BomTempo(Lisboa)
Sol(Coimbra)(Chuva(Coimbra)Vento(Coimbra))
BomTempo(Coimbra)
Sol(Coimbra)
Sol(Coimbra)(Chuva(Coimbra)Vento(Coimbra))
BomTempo(Coimbra)
Viagem(Lisboa,Coimbra,V1000,Pedro)BoaMoto(V1000)
BomTempo(Lisboa)BomTempo(Coimbra)
BoaViagem(Lisboa,Coimbra,V1000,Pedro)
BoaViagem(Lisboa,Coimbra,T650,Joo)
Cuidadoso(Joo)EmPerigo(Joo)
Cuidadoso(Joo)
BoaViagem(Lisboa,Coimbra,T650,Joo)
Cuidadoso(Joo)
EmPerigo(Joo)
IA-LogicaSimbolica.doc
1,I.U.
6,E.C.(2)
8,I.D.
7,9,M.P.
2,I.U.
4,10,I.C.
1,I.U.
6,E.C.(3)
14,I.D.
13,15,M.P.
12,16,I.C.
11,17,M.P.
3,I.U.
5,E.C.
20,I.D.
19,21,M.P.
48/61
ISCTE-DCTI
x Marciano(x)Terrestre(x)SerVivo(x)
x Humano(x)Co(x)Macaco(x)Terrestre(x)
x Humano(x)Co(x)Macaco(x)Mamfero(x)
x Homem(x)Mulher(x)Humano(x)
x Quadrpede(x)Castanho(x)Co(x)
x Bpede(x)Verde(x)Castanho(x)Humano(x)
x Bpede(x)Verde(x)Marciano(x)
x Bpede(x)Castanho(x)Macaco(x)
Terrestre(Zlot)Mulher(Ana)Bpede(Aardvark)Verde(Aardvark)
Deduza, empregando deduo natural e justificando cada passo de prova com a regra e os
nmeros das clusulas usadas:
a) Mulher(Zlot)
b) SerVivo(Ana)Mamfero(Ana)
c) SerVivo(Aardvark)
Resposta:
a) Para Mulher(Zlot):
10
11
12
13
14
15
16
Humano(Zlot)Co(Zlot)Macaco(Zlot)Terrestre(Zlot)
Terrestre(Zlot)
Humano(Zlot)Co(Zlot)Macaco(Zlot)
Homem(Zlot)Mulher(Zlot)Humano(Zlot)
Humano(Zlot)
Homem(Zlot)Mulher(Zlot)
Mulher(Zlot)
2,I.U.
9,E.C.(3)
10,11,M.T.
4,I.U.
12,E.C.(2)
13,14,M.T.
15,E.C.
b) Para SerVivo(Ana)Mamfero(Ana):
10
11
12
13
14
15
16
17
18
19
20
21
22
Homem(Ana)Mulher(Ana)Humano(Ana)
Mulher(Ana)
Homem(Ana)Mulher(Ana)
Humano(Ana)
Humano(Ana)Co(Ana)Macaco(Ana)Terrestre(Ana)
Humano(Ana)Co(Ana)Macaco(Ana)
Terrestre(Ana)
Marciano(Ana)Terrestre(Ana)SerVivo(Ana)
Marciano(Ana)Terrestre(Ana)
SerVivo(Ana)
Humano(Ana)Co(Ana)Macaco(Ana)Mamfero(Ana)
Mamfero(Ana)
SerVivo(Ana)
Mamfero(Ana)
IA-LogicaSimbolica.doc
4,I.U.
9,E.C.(3)
11,I.D.
10,12,M.P.
2,I.U.
13,I.D.(2)
14,15,M.P.
1,I.U.
16,I.D.
17,18,M.P.
3,I.U.
15,20,M.P.
19,21,I.C.
49/61
ISCTE-DCTI
b) Para SerVivo(Aardvark):
10
11
12
13
14
15
Bpede(Aardvark)Verde(Aardvark)Marciano(Aardvark)
Bpede(Aardvark)Verde(Aardvark)
Marciano(Aardvark)
Marciano(Aardvark)Terrestre(Aardvark)SerVivo(Aardvark)
Marciano(Aardvark)Terrestre(Aardvark)
SerVivo(Aardvark)
7,I.U.
9,E.C.(2)
10,11,M.P.
1,I.U.
12,I.D.
13,14,M.P.
x Comprimento(x,Medio)Largura(x,Medio)Automovel(x)
x Comprimento(x,Pequeno)Largura(x,MuitoPequeno)
Motociclo(x)Bicicleta(x)
x Bicicleta(x)
Comprimento(Obj1,Grande)
Largura(Obj1,Medio)
Comprimento(Obj2,Pequeno)
Largura(Obj2,MuitoPequeno)
Deduza, empregando deduo natural e justificando cada passo de prova com a regra e os
nmeros das clusulas usadas que o objecto Obj2 um motociclo, i.e., que
Motociclo(Obj2).
Resposta:
8
9
10
11
12
x Comprimento(Obj2,Pequeno)Largura(Obj2,MuitoPequeno)
Motociclo(Obj2)Bicicleta(Obj2)
Comprimento(Obj2,Pequeno)Largura(Obj2,MuitoPequeno)
Motociclo(Obj2)Bicicleta(Obj2)
Bicicleta(Obj2)
Motociclo(Obj2)
IA-LogicaSimbolica.doc
2,I.U.
6,7,I.C.
8,9,M.P.
3,I.U.
10,11,E.D.
50/61
ISCTE-DCTI
{ P(x,B,z), Q(x,y,z) }
{ P(A,y,z) }
{ Q(A,B,z) }
de 1 e 2
{ P(x,B,z), Q(x) }
{ P(A,y,z), Q(B) }
{ Q(A), Q(B) }
de 1 e 2
IA-LogicaSimbolica.doc
51/61
ISCTE-DCTI
O processo geral de prova manual de uma frmula P quando se emprega a regra da resoluo
, ento:
12345-
Converter o conjunto de frmulas lgicas tomadas como premissas para a forma clausal.
Negar P.
Converter P para a forma clausal.
Juntar as clusulas de P ao conjunto de frmulas tomadas como premissas.
Empregando a regra da resoluo, tentar derivar a clusula vazia (i.e., a clusula { }).
( x P(x))(x P(x))
(x P(x))(x P(x))
3 (x P(x))P(Sk)
4 P(x)P(Sk)
5 P(x)P(Sk)
6 { P(x), P(Sk) }
Nota: Sk uma funo de Skolem de 0 argumentos (i.e., uma constante de Skolem).
2
IA-LogicaSimbolica.doc
52/61
ISCTE-DCTI
x (P(x)Q(x))(y R(x,y)S(x))
x P(x)Q(x)(y R(x,y)S(x))
3 x P(x)Q(x)(R(x,Sk(x))S(x))
4 P(x)Q(x)(R(x,Sk(x))S(x))
5 (P(x)Q(x)R(x,Sk(x)))(P(x)Q(x)S(x))
6 { P(x1), Q(x1), R(x1,Sk(x1)) }
{ P(x2), Q(x2), S(x2) }
Nota: Sk uma funo de Skolem de 1 argumento.
2
x (y P(x,y))(y Q(x,y)R(x,y))
x (y P(x,y))(y Q(x,y)R(x,y))
3 x (y P(x,y))(z Q(x,z)R(x,z))
x P(x,Sk1(x))(Q(x,Sk2(x))R(x,Sk2(x)))
4 P(x,Sk1(x))(Q(x,Sk2(x))R(x,Sk2(x)))
5 (P(x,Sk1(x))Q(x,Sk2(x)))(P(x,Sk1(x))R(x,Sk2(x)))
6 { P(x1,Sk1(x1)), Q(x1,Sk2(x1))) }
{ P(x2,Sk1(x2)), R(x2,Sk2(x2)) }
Nota: Sk1 e Sk2 so ambas funes de Skolem de 1 argumento.
2
IA-LogicaSimbolica.doc
53/61
ISCTE-DCTI
a) D(Var33)
b) E(Var33)
Resposta:
a) Para D(Var33):
11
{ D(Var33) }
12
{
13 {
14 {
15 {
de 4 e 10
A(Var33), B(Var33) }
A(Var33) }
D(Var33) }
}
de 9 e 12
de 2 e 13
de 11 e 14
b) Para E(Var33):
11
{ E(Var33) }
12
{
13 {
14 {
15 {
de 4 e 10
A(Var33), B(Var33) }
A(Var33) }
E(Var33) }
}
de 9 e 12
de 3 e 13
de 11 e 14
{
{
{
{
{
{
{
{
{
{
{
{
F(x1), C(x1),
D(x2), A(x2) }
E(x3), A(x3) }
A(x4), B(x4),
I(x5), G(x5) }
J(x6), G(x6) }
F(x7), C(x7),
F(x8), G(x8),
B(x9) }
E(R1) }
I(R1) }
F(R1) }
G(x1),
H(x1) }
C(x4) }
K(x7) }
K(x8) }
Empregando a regra da resoluo e justificando cada passo de prova com os nmeros das
clusulas usadas, prove por refutao que:
a) C(R1)
b) K(R1)
IA-LogicaSimbolica.doc
c) H(R1)
54/61
ISCTE-DCTI
Resposta:
a) Para C(R1):
13
{ C(R1) }
14
15
16
17
{
{
{
{
de 3 e 10
de 4 e 14
de 9 e 15
de 13 e 16
A(R1) }
B(R1), C(R1) }
C(R1) }
}
b) Para K(R1):
13
{ K(R1) }
14
{
15 {
16 {
17 {
de 5 e 11
G(R1) }
F(R1), K(R1) }
K(R1) }
}
de 8 e 14
de 12 e 15
de 13 e 16
c) Para H(R1):
13
{ H(R1) }
14
{
{
{
{
{
{
{
{
15
16
17
18
19
20
21
IA-LogicaSimbolica.doc
de 1 e 12
de 3 e 10
de 4 e 15
de 9 e 16
de 14 e 17
de 5 e 11
de 18 e 19
de 13 e 20
55/61
ISCTE-DCTI
{
{
{
4 {
5 {
6 {
7 {
8 {
9 {
10 {
11 {
12 {
2
3
I(x1), F(x1) }
H(x2), G(x2), F(x2) }
E(x3,y3,z3,u3), D(z3), F(x3), F(y3), C(x3,y3,z3,u3) }
B(x4), A(y4) }
E(L1,L2,M1,P1) }
D(M1) }
B(P1) }
I(L1) }
H(L1) }
G(L1) }
I(L2) }
B(P2) }
Empregando a regra da resoluo e justificando cada passo de prova com os nmeros das
clusulas usadas, prove por refutao que:
a) F(L1)
b) C(L1,L2,M1,P1)
Resposta:
a) Para F(L1):
13
{ F(L1) }
14
15
16
{ G(L1), F(L1) }
{ F(L1) }
{ }
de 2 e 9
de 10 e 14
de 13 e 15
b) Para C(L1,L2,M1,P1):
13
{ C(L1,L2,M1,P1) }
14
{
{
{
{
{
{
{
{
15
16
17
18
19
20
21
IA-LogicaSimbolica.doc
de 3 e 5
de 2 e 9
de 10 e 15
de 14 e 16
de 1 e 11
de 17 e 18
de 6 e 19
de 13 e 20
56/61
ISCTE-DCTI
{
{
{
{
{
{
{
{
{
{
{
{
{
{
{
{
{
{
M(x1), L(x1) }
K(x2), L(x2) }
J(x3), K(x3) }
I(x4), K(x4) }
H(x5), K(x5) }
J(x6), G(x6) }
I(x7), G(x7) }
H(x8), G(x8) }
F(x9), J(x9) }
E(x10), J(x10) }
D(x11), C(x11), I(x11)
B(x12), A(x12), C(x12),
B(x13), A(x13), M(x13)
B(x14), C(x14), H(x14)
K(P1) }
E(P2) }
B(P3) }
A(P3) }
}
J(x12) }
}
}
Empregando a regra da resoluo e justificando cada passo de prova com os nmeros das
clusulas usadas, prove por refutao que:
a) E(P1)
b) L(P2)G(P2)
c) L(P3)
Resposta:
a) Para E(P1):
19
{ E(P1) }
20
de 3 e 15
{ J(P1) }
21 { E(P1) }
22 { }
de 10 e 20
de 19 e 21
b) Para L(P2)G(P2):
19
20
21
22
{ L(P2), G(P2) }
{
{
{
23 {
24 {
25 {
de 10 e 16
de 6 e 20
de 19 e 21
J(P2) }
G(P2) }
L(P2) }
K(P2) }
L(P2) }
}
de 3 e 20
de 2 e 23
de 22 e 24
IA-LogicaSimbolica.doc
57/61
ISCTE-DCTI
c) Para L(P3):
19
20
{ L(P3) }
{
21 {
22 {
23 {
de 13 e 17
A(P3), M(P3) }
M(P3) }
L(P3) }
}
de 18 e 20
de 1 e 21
de 19 e 22
Empregando a regra da resoluo e justificando cada passo de prova com os nmeros das
clusulas usadas, prove por refutao que Motociclo(Obj2).
Resposta:
8
{ Motociclo(Obj2) }
{ Largura(Obj2,MuitoPequeno), Motociclo(Obj2),
Bicicleta(Obj2) }
10 { Motociclo(Obj2), Bicicleta(Obj2) }
11 { Motociclo(Obj2) }
12 { }
IA-LogicaSimbolica.doc
de 2 e6
de 7 e 9
de 3 e 10
de 8 e 11
58/61
ISCTE-DCTI
IA-LogicaSimbolica.doc
59/61
ISCTE-DCTI
Bibliografia
Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang, Richard Char-Tung Lee
Academic Press, 1973.
Artificial Intelligence, A Modern Approach
Stuart Russell, Peter Norvig
Prentice Hall, 1995.
Logical Foundations of Artificial Intelligence
Michael Genesereth, Nils Nilsson
Morgan Kaufman Publishers, Inc., 1987.
IA-LogicaSimbolica.doc
60/61