Escolar Documentos
Profissional Documentos
Cultura Documentos
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:
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
Captulo4-Validade
de Frmulas
Concluses
verdade.
partir
da
tabela
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.
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
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
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