Você está na página 1de 13

1

Captulo4-Validade
de Frmulas

Mtodos
Para
Determina
o da
Validade de
Frmulas da
Lgica
Proposiciona

Captulo4-Validade
de Frmulas
Mtodo da Tabela Verdade.
Exemplo (leis de De Morgan)
A primeira lei de De Morgan dada por:
H = (P Q) ((P) (Q)),
Na tabela da frmula H temos,
por exemplo,
se I[P] = T e I[Q] = T,
ento
I[(PQ)] = F, I [(P)(Q)] = F
e I[H] = T.
A coluna da frmula H contem apenas
o smbolo de verdade T.

Captulo4-Validade
de Frmulas
A partir da tabela da frmula H podemos
concluir:

Para qualquer combinao de valores


de verdade para os smbolos P e Q, a
frmula H interpretada como
verdadeira.

Para qualquer interpretao I, I[H] =


T. Portanto, H uma tautologia.

Alm disso, como H uma tautologia,


ento (P Q) eqivale a (P Q).

Captulo4-Validade
de Frmulas
A segunda lei de De Morgan dada por:
G = (P Q) ((P ) (Q))
A tabela da segunda lei de De Morgan
anloga quela indicada na primeira lei.
A partir da validade da segunda lei de
De Morgan, conclumos:
(P Q) eqivale a (P) (Q).
Concluses
verdade.

partir

da

tabela

A partir da tabela verdade associada a


uma frmula H vrias propriedades
semnticas so obtidas.
Se a coluna de H contm apenas o
smbolo T, ento H uma tautologia.
Se a coluna de H contem apenas o
smbolo F, ento H contraditria.

Captulo4-Validade
de Frmulas
Concluses
verdade.

partir

da

tabela

Uma frmula H satisfatvel quando h


pelo menos um smbolo T em sua
coluna.
O mtodo da tabela verdade

aplicvel frmulas que contem um


pequeno
nmero
de
smbolos
proposicionais.
Nestes
casos,
as
tabelas so pequenas.
Quando a frmula contem muitos
smbolos proposicionais isto no ocorre.
Considere a frmula H a seguir.
H = P1 ((P2 P3) ((P4 P5) ((P6 P7) P8)))

Neste
caso,
h
8
smbolos
proposicionais e a tabela verdade
associada a F possui 256 linhas.

Captulo4-Validade
de Frmulas
Mtodo da rvore Semntica.
O mtodo da rvore semntica
determina a validade de uma
frmula a partir da estrutura de
dados denominada rvore.
Definir rvore.
Exemplo (lei da contraposio).
Este exemplo demonstra que a
frmula H a seguir uma
tautologia.
H = (P Q) ((Q) (P))

Captulo4-Validade
de Frmulas
Mtodo da negao ou absurdo.
Dada uma frmula H, se o objetivo
demonstrar sua validade, supe-se que
H no uma tautologia.

A partir desta suposio, utilizado um


conjunto de dedues para concluir um
fato contraditrio, ou absurdo.

Desta forma, como se obtm um


absurdo, a concluso que a suposio
inicial falsa.

Captulo4-Validade
de Frmulas
Exemplo (lei da transitividade).
Este exemplo demonstra a validade da
lei da transitividade para o conectivo .
A frmula H a seguir uma tautologia.
H = ((P Q) (Q R)) (P R)
Suponha, por absurdo,
uma tautologia.

que

H no

Logo, possvel interpretar H como


sendo
falsa, isto , existe uma
interpretao I tal que I[H] = F.
Este fato denotado colocando o smbolo
F abaixo do conectivo , na frmula H
Como I[H] = F, ento
I[( P Q) ( Q R)] = T e I[( P R)] = F.

Captulo4-Validade
de Frmulas
A partir desses valores de verdade, os
valores de verdade das outras
subfrmulas so obtidos.
Ao final conclui-se que
I[Q] = T e I[Q] = F.
Logo, h um absurdo, pois Q no pode ser
interpretado como verdadeiro e falso ao
mesmo tempo, .
Portanto a suposio inicial falsa, isto
, no existe interpretao I tal que
I[H]=F.
No possvel
sendo falsa.

interpretar

Logo, H uma tautologia.

H como

10

Captulo4-Validade
de FrmulasDemonstrao da contradio.
O mtodo da negao ou absurdo
tambm se aplica para demonstrar
se uma frmula H contraditria.
Aplicao do mtodo s formulas
com conectivo .
O mtodo da negao ou absurdo
se aplica nos casos em que se tem
a negao do conectivo .
Aplicao do mtodo s formulas
com conectivo .
A observao anterior se aplica
analogamente s frmulas que
contem o conectivo .

11

Captulo4-Validade
de Frmulas
Generalizao do mtodo.
O mtodo da negao ou absurdo
pode ser utilizado na demonstrao
da validade ou contradio de
frmulas da lgica proposicional.
Entretanto, ele possui ampla
aplicao em outros tipos de
demonstraes.
Neste casos, negada a afirmao
que se deseja demonstrar.
Aps um conjunto de dedues,
caso se obtenha um absurdo, ento
a afirmao inicial verdadeira.

12

Captulo4-Validade
de Frmulas
A ausncia do Absurdo.
Quando no se obtm o absurdo
procurado, nada se pode concluir
sobre a veracidade da assero
inicial.
Exemplo (ausncia de absurdo).
Este exemplo utiliza o mtodo da
negao
ou
absurdo
para
demonstrar se a frmula H uma
tautologia.
H = (P Q) ((P) (Q))

13

Captulo4-Validade
de Frmulas
Exemplo
(ausncia
absurdo).

de

Neste caso, supe, por absurdo, que


H no uma tautologia.
Tal fato expresso pelo smbolo F
sob o conectivo em H.
Ao final do processo no se obtm
absurdo.
Logo no se pode concluir que H
seja tautologia.

Você também pode gostar