Escolar Documentos
Profissional Documentos
Cultura Documentos
Apostila - Logica Proposicional
Apostila - Logica Proposicional
Sumrio
Primeira Unidade Lgica Proposicional
Introduo lgica
Introduo lgica simblica
pg.3
pg.9
pg.12
pg.20
pg.23
pg.27
pg.28
pg.34
pg.37
pg.39
1 Introduo
Voc consegue descobrir quais das sentenas abaixo so
consistentes?
Seria errado censurar programas violentos na Televiso, pois o
comportamento das pessoas no chega a ser afetado pelo que elas
vem na telinha. Igualmente, seria uma boa idia se ter mais
programas mostrando o lado bom do brasileiro, pois assim
calaramos a boca dos que esto sempre denegrindo o Brasil.
Nunca desenhei nada na minha vida. Mas se eu sentasse e me
concentrasse, bastariam apenas alguns minutos para eu produzir
algo to valioso quanto qualquer coisa que Picasso tenha feito.
Walter se associou ao clube h dois anos, e tem sido um de seus
scios mais leais desde ento. Ano passado ele pagou pelas frias
de exatamente aqueles scios que no pagaram por suas prprias
frias.
Compostas:
- Universal Afirmativa: Todo A B
- Universal Negativa: Nenhum A B
- Existencial Afirmativa: Algum A B
- Existencial Negativa: Algum A no B
Inferncia: Analisar as premissas e chegar a uma concluso.
Premissa 1
Premissa 2
...
Premissa n
Concluso
Ex:
Todo A B
Todo B C
Todo A C
Todo A B
Algum B no C
Algum C no A
Exerccios:
1) XaY, ZoY XiZ
Resoluo:
Premissas:
XaY Todo X Y
X=Y
Z
ZoY Algum Z no Y
Y
Z
Z
Y
Quadrado da Oposio:
I
Universal Afirmativa
(Todo A B)
SubAlterna
III
Particular Afirmativa
(Algum A B)
Contrrias
Contraditrias
Subcontrrias
II
Universal Negativa
(Nenhum A B)
SubAlterna
IV
Particular Negativa
(Algum A no B)
II
F
V-F
III
V
V-F
IV
F
V
II
V
F
I
F
V-F
III
F
V
IV
V
F-V
III
V
F
I
V-F
F
II
F
V
IV
V-F
V
IV
V
F
I
F
V
II
V-F
F
III
V-F
V
Definies:
Contradio: Duas Sentenas esto em contradio se, em todas
as situaes possveis, elas tm valor-verdade opostos. Diz-se que as
sentenas so contraditrias.
Exemplo:
A, B e C so suspeitos de um crime, foram fornecidos os seguintes
depoimentos:
A: B culpado e C inocente.
B: Se A for culpado, ento C tambm .
C: Eu sou inocente, mas pelo menos um dos outros dois
culpado.
Como podemos observar, no h contradio aparente, ento
temos que usar algum mtodo para descobrir alguma relao entre
os depoimentos.
Vamos estabelecer smbolos para poder escrever as sentenas de
uma forma padronizada:
7
A culpado: X
B culpado: Y
C culpado: Z
Operaes:
1- e: &, ^
3- no: -, , ~,
2- ou: v
4- se ento:
Definies:
Sintaxe da Lgica Simblica: Estudo da forma das
expresses da Lgica Simblica.
Alfabeto Simblico:
Variveis: x, y, z, ...
Constantes: 0, 1
Operadores: ^, v, ,
Smbolos Auxiliares: (, )
Conjunto Indutivo:
Definio: Suponha que A seja um conjunto, e que x seja um
11
Lgica Proposicional
Sintaxe da Lgica Proposicional:
A
(w1 ^ w2)
A
(w1 w2)
fv: A x A
w1, w2
f: A
w
A
(w1 v w2)
A
(w)
Exemplo: w1 = x(
w2 = )0^v
f^(w1,w2) = f^( x(,)0^v) = (x( ^ )0^v)
f (w1,w2) = f ( x(,)0^v) = (x( )0^v)
12
F, aridade(F) = k}
13
15
II
x
I
0
- h((E1)) =
h(E1)
h(E1)
^
- h((E1^E2)) =
h(E1)
h(E2)
- h((E1vE2)) =
- h(E) =
h(E2)
- h (E1E2) =
h(E1)
h(E2)
PROP
- s(E) = {E}
- s((E1^E2)) = {(E1^E2)} U s(E1) U s(E2)
- s((E1)) = {(E1)} U s(E1) - s((E1vE2)) = {(E1vE2)} U s(E1) U s(E2)
- s((E1E2)) = {(E1E2)} U s(E1) U s(E2)
16
c.q.d.
c.q.d.
ii) da forma ( ):
Hiptese de induo: |s()| 2.g() + 1
|s()| 2.g() + 1
Tese: |s( )| 2.g( ) + 1
Temos que provar, mais uma vez, que a tese verdadeira, tendo a
hiptese de induo como verdadeira.
Ora, pela definio da funo que obtm o conjunto das
subproposies de uma dada proposio, temos que:
s( ) = {( )} U s() U s()
|s( )| = |{( )} U (s() U s())|
= |{( )}| + |s() U s()| - |{( )} (s() U s())|
Como {( )} e (s() U s()) so disjuntos, a terceira parcela
nula. Da:
|s( )| = 1 + |s() U s()|
|s( )| = 1 + |s()| + |s()| - |s() s()|
Pela definio da funo que conta o nmero de operadores, temos:
g( ) = 1 + g() + g()
Ento a tese que temos que provar :
1 + |s()| + |s()| - |s() s()| 2.(1 + g() + g()) + 1
Da hiptese de induo:
|s()| + |s()| (2.g() + 1) + (2.g() + 1)
Logo:
1 + |s()| + |s()| (2.g() + 1) + (2.g() + 1) + 1
Da: 1 + |s()| + |s()| 2(g() + g() + 1) + 1
Logo:
1 + |s()| + |s()| - |s() s()| 2(g() + g()) + 1
c.q.d.
19
G
no(-)
e (-,-)
ou (-,-)
seEnto
(-,-)
I. (x) = h(x) se x X;
II. ( fi(x1, ..., xk) ) = gi( (x1), ..., (xk) )
gi = d(fi)
20
Variveis
U
Constantes
PROP = X
A = *
Obs:
I.
II.
III.
IV.
V.
(x) = h(x) se x X ;
() = NO( () ) ;
((^)) = E( (), () ) ;
((v)) = OU( (), () ) ;
(()) = SE-ENTO( (), () )
21
Exemplo:
Seja h: x
h(x) = 0;
h(y) = 1;
h(z) = 0;
Vamos calcular o valor-verdade da proposio = ( (z) ^ (xvy) )
Sabemos que o valor ser dado pela expresso nica de h, dada por:
: PROP
( (z)^(xvy) )
= E( (z), (xvy) )
= E( NO((z)), OU((x), (y)) )
= E( NO(h(z)), OU(h(x), h(y)) )
= E( NO(0), OU(0,1) )
= E(1, 1)
=1
Portanto o valor-verdade de 1.
22
Definio de Satisfatibilidade:
Seja uma proposio:
dita satisfatvel se existe pelo menos uma valorao w que a
satisfaz. (i.e., () = 1).
chamada de tautologia se toda a valorao a satisfaz.
dita refutvel se existe pelo menos uma valorao que no a
satisfaz. (i.e., () = 0).
chamada de insatisfatvel se nenhuma valorao a satisfaz.
Dada uma proposio pergunta-se:
satisfatvel? (SAT)
refutvel? (REFUT)
tautological (TAUT)
insatisfatvel (INSAT)
Exemplo: Seja = ( (x(yz)) ((z)v(x^(y))) )
Pergunta-se: satisfatvel?
23
Operaes Booleanas:
NO
X
0
1
OU
No(x)
1
0
X
0
0
1
1
Y
0
1
0
1
E
Ou(x,y)
0
1
1
1
X
0
0
1
1
Y
0
1
0
1
SE-ENTO
E(x,y)
0
0
0
1
X
0
0
1
1
Y
0
1
0
1
Se-ent(x,y)
1
1
0
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
1
1
0
0
1
1
0
0
1
0
1
0
1
1
1
0
YZ X(YZ)
1
1
0
1
1
1
0
1
1
1
1
1
1
1
0
1
1
0
1
0
1
1
1
0
Concluses:
satisfatvel.
refutvel.
no tautologia.
no insatisfatvel.
24
Conjunto de Proposies:
Y
0
0
1
1
0
0
1
1
Z
0
1
0
1
0
1
0
1
Z
1
0
1
0
1
0
1
0
XZ
1
1
1
1
0
1
0
1
(Y^( Z))
0
0
1
0
0
0
1
0
(XvY)
0
0
1
1
1
1
1
1
(Z)^(XvY)
0
0
1
0
1
0
1
0
25
26
Estimativa:
Seja uma expresso. Assuma que:
n: nmero de operadores em .
27
(FI1) = w1
(FI2) = w2
(FIn) = wn
Regras do tableaux:
1) () = 1
() = 0
() = 1
2) () = 0
() = 1
() = 0
28
3) (^) = 0
() = 0
() = 0
5) (v) = 1
() = 1
() = 1
4) (^) = 1
() = 1
() = 1
6) (v) = 0
() = 0
() = 0
Exemplos:
1) = ( (X(Y)) ((Z) ^ (Y(X))) )
satisfatvel?
Quero saber se existe pelo menos uma valorao que satisfaz a
expresso . Em outras palavras, quero saber se existe um mundo
possvel no qual seja verdadeira.
Como dito anteriormente, vamos construir a rvore de possibilidades
para a expresso . Vamos comear com e ento ir desmontando
esta expresso em subexpresses atravs das regras do tableaux, at no
haver mais subexpresses no qual possamos usar alguma regra. Fazemos
isso de cima para baixo, i.e., da raiz em direo as folhas.
Observe que ns no paramos no momento que acharmos todas as
verses atmicas de cada varivel presente na expresso, e sim quando
no h mais subexpresses para aplicar as regras. Veja que se
parssemos ao achar as subexpresses atmicas das variveis
difcilmente encontraramos uma contradio em algum mundo, pois as
contradies geralmente vm na forma: X e X, no mesmo mundo.
29
rvore de possibilidades:
( (X(Y)) ((Z) ^ (Y(X))) ) = 1
(X (Y)) = 0
((Z) ^ (Y(X))) = 1
(X) = 1 (I)
(Y) = 0
(Y) = 1 (I)
(Y(X)) = 1
(Y) = 0 (II)
(X) = 1 (III)
(X) = 1,
(X) = 1,
(X) = 0,
(X) = 1,
(X) = 0,
(X) = 0,
(Y) = 1,
(Y) = 1,
(Y) = 0,
(Y) = 0,
(Y) = 0,
(Y) = 1,
(Z) = 0
(Z) = 1
(Z) = 0
(Z) = 0
(Z) = 0
(Z) = 0
2) = ( (X(YZ)) ((X^Y)Z) )
tautologia?
Dessa vez eu vou verificar se existe algum mundo possvel onde ()
= 0. Se existir tal mundo, no tautologia, pois para ser tautologia,
todas as valoraes devem ser 1.
rvore de possibilidades:
( (X(YZ)) ((X^Y)Z) ) = 0
(X(YZ)) = 1
((X^Y)Z) = 0
(X) = 0
(YZ) = 1
(X^Y) = 1
(X^Y) = 1
(Z) = 0
(Z) = 0
(X) = 1
(Y) = 0
(Z) = 1
(Y) = 1
(Y) = 1
(Y) = 1
31
Linguagem Simblica:
1) O unicrnio lenda = l
2) O unicrnio imortal = i
3) O unicrnio mamfero = m
4) O unicrnio chifrudo = c
5) O unicrnio bruxaria = b
Dessa forma as sentenas podem ser escritas:
I.
II.
III.
IV.
V.
( (li) ^ ((l) m) )
( (i v m) c )
(c b)
l
b
32
rvore de possibilidades:
((li) ^ ((l) m)) = 1
((i v m) c) = 1
(c b) = 1
(l) = 0
...
A partir dessa configurao inicial da rvore, basta desenvolver o mtodo
dos tableaux. No prximo exemplo mostrarei porque no desenvolvi aqui
este exemplo.
4) = ( ((X^Y)v((X)^Y)) v ((X^(Y))v((X)^(Y))) )
Verifique se tautologia?
Tente desenvolver o exemplo 4. Voc ver que, como no exemplo 3, a
rvore gerada ser muito grande, mostrando que nem sempre o mtodo dos
tableaux a melhor soluo para problemas SAT.
Existem valores onde o nmero de operaes (no tableaux) igual do
mtodo da tabela-verdade, tornando esse mtodo ineficiente.
No prximo captulo ns vamos estudar um mtodo chamado de mtodo
da resoluo, que ir resolver mais rapidamente certos casos, onde a
aplicao do tableaux se mostra demorado.
33
O Mtodo da resoluo
Forma Normal Conjuntiva (FNC)
Literal: Um literal uma frmula atmica ou a negao de uma
frmula atmica.
Clusula: Uma clusula uma disjuno(v) de literais.
Forma Normal Conjuntiva: Uma frmula est na forma normal
conjuntiva se for uma conjuno(^) de clusulas.
Equivalncias Lgicas:
1)
2) v
3) ( ^ ) ()v()
4) ( v ) ()^()
5) ^
6) v
7) v () T
8) ^ () F
9) ^ F F
11) ^ T
12) v T T
10) v F
Exemplos:
I) (LI) ^ (LM) (L v I) ^ (L v M) (L v I) ^ (L v M)
II) (I v M) C (I v M) v C (I ^ M) v C (C v I) ^ (C v M)
Teorema: Para todo PROP, existe PROP tal que:
I. logicamente equivalente a ;
II. est na FNC (Forma Normal Conjuntiva).
Esboo da Prova: (por induo sobre a complexidade de )
Base: atmica
Casos Indutivos:
I) da forma
Hiptese de induo: existe e na FNC
Tese: existe e na FNC
34
Observaes Chave:
1) Para uma frmula na FNC ser insatisfatvel, suficiente que uma de
suas clusulas seja insatisfatvel.
2) Uma frmula na FNC do tipo: (X v Y) ^ (X v Z) ^ (Y v Z)
logicamente equivalente a: (X v Y) ^ (X v Z) ^ (Y v Z)
(Prove a observao 2 atravs da tabela-verdade)
3) Para toda E PROP:
- insatisfatvel sse no satisfatvel.
- insatisfatvel sse uma tautologia.
- insatisfatvel sse no refutvel.
- Um conjunto S de sentenas satisfatvel sse S no insatisfatvel
(o conjunto de suas sentenas no insatisfatvel).
- uma conseqncia lgica de {1, 2, ..., n} sse
1 ^ 2 ^ ... ^ n ^ insatisfatvel.
35
No exemplo do unicrnio:
B conseqncia lgica do conjunto S = {((L I) ^ (L M)),
((I v M) C), (C B)}?
Essa pergunta equivale a:
((L I) ^ (L M)) ^ ((I v M) C) ^ (C B) ^ (B)
insatisfativel?
O primeiro passo mexer com a sentena ate chegar na FNC, e ento
nomeamos todas as clusulas.
((L I) ^ (L M)) ^ ((I v M) C) ^ (C B) ^ (B)
((L v I) ^ (L v M)) ^ ((I v M) v C) ^ (C v B) ^ (B)
(L v I) ^ (L v M) ^ (I ^ M) v C) ^ (C v B) ^ (B)
(L v I) ^ (L v M) ^ (I v C) ^ (M v C) ^ (C v B) ^ (B)
C1
C2
C3
C4
C5
C6
O segundo passo criar novas clusulas para ver se gera alguma
contradio.
- C1 ^ C2 (I v M) (C7)
- C1 ^ C3 (L v C) (C8)
- C2 ^ C4 (L v C) (C9)
- C9 ^ C5 (I v B) (C10)
- C4 ^ C5 (M v B) (C11)
- C7 ^ C11 (I v B) (C12)
- C10 ^ C12 (B v B) B (C13)
Veja que as clusulas de nmero C6 e C13 geram uma contradio
((B) ^ (B)), pois eles geram uma clusula C14 que vazia. Da ns
vemos que a expresso insatisfatvel. E com isso nos mostramos que a
expresso B uma conseqncia lgica do conjunto S.
36
Sentenas Condicionais
1) Tabela Verdade:
- Vantagens: Simplicidade, confiabilidade.
- Desvantagens: Custo computacional.
2) Tableaux Analticos:
- Vantagens: Baseado num conceito intuitivo de mundos possveis,
regras so mais sensatas, s vezes mais eficientes.
- Desvantagens: Nem sempre mais eficiente, e desprovido de mtodo
eficiente de descobrir os casos nos quais de fato mais eficiente.
3) Resoluo:
- Vantagens: demonstravelmente mais eficiente para casos que so
eficientemente reconhecveis (frmulas de Horn).
- Desvantagens: Nem sempre mais eficiente e no intuitivo.
37
38
39