Escolar Documentos
Profissional Documentos
Cultura Documentos
Apostila LogicaProposicional
Apostila LogicaProposicional
Faculdade de Computao
Lgica Proposicional
Definio de Lgica
A lgica o estudo sobre a natureza do raciocnio e do conhecimento. Ela usada para formalizar
e justificar os elementos do raciocnio empregados nas demonstraes / provas de teoremas.
A lgica clssica se baseia em um mundo bivalente ou binrio (viso restrita do mundo real), onde
os conhecimentos so representados por sentenas que s podem assumir dois valores verdade
(verdadeiro ou falso). Portanto, nesse contexto, uma demonstrao um meio de descobrir uma
verdade pr-existente deste mundo.
1.2
Lgica Proposicional
A lgica proposicional a forma mais simples de lgica. Nela os fatos do mundo real so
representados por sentenas sem argumentos, chamadas de proposies.
Ex:
MUNDO REAL
PROPOSIO LGICA
PQ
Definio (proposio): uma proposio uma sentena, de qualquer natureza, que pode ser
qualificada de verdadeiro ou falso.
Ex:
1+1=2
0>1
Exerccio de Fixao
Verifique se as expresses abaixo so proposies. Justifique sua resposta.
a) Boa sorte!
b) Todas as mulheres possuem sua beleza.
c) Mrcio no irmo do Mrio.
Pg.:1
Lgica Proposicional
d) No faa isto!
e) Ceclia escritora.
f)
1.3
Lgica e Informtica
Sintaxe
2.1
Linguagem e Alfabeto
Smbolos de pontuao: ( e ).
Vale ressaltar que, assim como na linguagem portuguesa, nem toda a concatenao vlida, ou
seja, pertence linguagem da lgica proposicional.
As frmulas proposicionais so construdas, a partir do alfabeto proposicional, de acordo com as
seguintes regras:
1. Todo smbolo verdade uma frmula;
2. Todo smbolo proposicional uma frmula;
3. Se P uma frmula, ento a sua negao (P) tambm uma frmula;
4. Se P e Q so frmulas, ento:
4.1. A disjuno de P e Q (P Q) tambm uma frmula;
4.2. A conjuno de P e Q (P Q) tambm uma frmula;
4.3. A implicao de P em Q (P Q) tambm uma frmula;
Pg.:2
Lgica Proposicional
( (R) X)
( (P (Y) ) (Q (R V) ) )
As construes acima so frmulas proposicionais, pois podem ser derivadas a partir da aplicao
das regras de construo descritas.
Exemplos de Frmulas Invlidas
(R True )
PQR
( False ( Q P) )
2.2
P e Q so frmulas
(aplicando a Regra 2)
(P Q) frmula
(aplicando a Regra 3)
Ex:
(maior precedncia)
(menor precedncia)
(precedncia intermediria)
PQR
(P Q) R
Pg.:3
P Q R
Lgica Proposicional
((P) Q) R
Ex:
PQR
(P Q) R
PQR
P (Q R)
Exerccio: Elimine o maior nmero possvel de parnteses da frmula, sem alterar seu significado
original: ((X) (((X Y)) Z)).
Soluo:
Exerccio de Fixao
Identifique quais frmulas pertencem lgica proposicional. Justifique sua resposta, apresentando
as regras de construo utilizadas ou apontando uma concatenao invlida. Para as frmulas
vlidas, remova os smbolos de pontuao sem afetar a sua interpretao.
a) (P Q) ((Q P) ((R)))
b) Q R
c) (P R) (Q ((T) R))
d) (PQ True)
e) (((P)) ((((((P Q))) R)) P))
f)
2.3
Comprimento de Frmula
Note que o comprimento de uma frmula obtido atravs da contagem dos conectivos e dos
smbolos verdade e proposicionais, desconsiderando o smbolo de pontuao.
Ex: COMP[ (P Q) R ] = COMP[P Q] + COMP[R] + 1 = COMP[P] + COMP[Q] + 1 + 1 + 1 =
= 1+ 1+ 1 + 1 + 1 = 5.
Pg.:4
Lgica Proposicional
Este conceito muito utilizado em demonstraes lgicas pelo princpio da induo finita.
2.4
Subfrmulas
O conjunto formado pelas subfrmulas de uma frmula proposicional contm todos os pedaos
vlidos desta frmula, inclusive ela mesma. Este conjunto formado pelas seguintes regras:
H uma subfrmula de H;
Definio informal: Todo pedao de H que uma frmula proposicional vlida, uma subfrmula
de H, inclusive ela mesma.
Exerccio de Fixao
Determine o comprimento e as subfrmulas das seguintes frmulas proposicionais:
a) ((P Q) (P Q)) True
b) P ((Q R) ((P Q) (P R)))
c) ((P P) P) Q
d) (P Q)
Semntica
A semntica associa um significado a cada objeto sinttico. Assim, quando se escreve a frmula
PQ, dependendo dos valores de P e Q, esta frmula pode ser verdadeira ou falsa.
3.1
Interpretao
Pg.:5
3.2
Lgica Proposicional
Clculo Proposicional
O clculo proposicional define a semntica da frmula segundo uma interpretao. Ele associa a
cada frmula uma aplicao do tipo:
{T, F} N {T, F}
sendo N, o nmero de smbolos proposicionais e verdade da frmula.
3.3
Negao Se E = H, ento:
I[E] = F, para I[H] = T.
I[E] = T, para I[H] = F.
Pg.:6
Lgica Proposicional
Exerccio de Fixao
Sejam P e Q duas proposies. Demonstrar com a ajuda da definio de interpretao dos
conectivos que:
a) P Q (P Q) (Q P)
b) (P Q) (P Q) (Q P)
c) P Q (P Q)
Propriedades Semnticas
So relaes obtidas no mundo semntico a partir das frmulas sintticas. O estudo destas
relaes entre os elementos sintticos e semnticos, denominada teoria dos modelos, uma das
principais razes da aplicao da lgica cincia da computao.
4.1
Tautologia
Pg.:7
Lgica Proposicional
I[H] = T I[X X] = T
I[X] = T ou I[X] = T
I[X] = T ou I[X] = F
Como I [X] {T, F}, ento I | I [H] = T c.q.d.
4.2
Frmulas Factveis
4.3
c.q.d.
Contradio
Como I uma funo binria, tal que I [X] {T, F}, ento I | I [H] = F
c.q.d.
Exerccio de Fixao
Determinar quais das frmulas abaixo so tautologias, contradies ou frmulas factveis.
Justifique sua resposta:
a) (P (P Q)) P
b) P1 P2 P3 Q Q
c) (P Q) (P Q)
d) P1 P2 P3 Q Q
Prof. Luiz Gustavo A. Martins
Pg.:8
Lgica Proposicional
e) (P P) (Q Q)
4.4
Equivalncia de Frmulas
Frmula H
(E)
Frmula G
E
Propriedades de
Identidade
E False
E True
Propriedades
Complementares
EE
True
EE
False
(E R)
E R
(E R)
E R
Contraposio
ER
R E
Propriedades de
Substituio
ER
E R
ER
(E R) (R E)
Propriedades
Comutativas
ER
RE
ER
RE
Propriedades
Associativas
E (R S)
(E R) S
E (R S)
(E R) S
Propriedades
Distributivas
E (R S)
(E R) (E S)
E (R S)
(E R) (E S)
Prova Condicional
E (R S)
(E R) S
Leis de Morgan
Pg.:9
Lgica Proposicional
Soluo:
Q (Q P)
(Q Q) (Q P)
Exerccio de Fixao
Demonstre, com auxlio das equivalncias clssicas, que as frmulas abaixo so equivalentes:
a) (E G) (E G) (E G)
b) (X Y) Z (Z X) (Z Y)
c) ((P Q) S) P (P S) ((Q S) P)
4.5
Implicao de Frmulas
H
.
G
c.q.d.
O conceito de implicao de frmulas (G H) NO quer dizer que I, I[G] = I[H]; ou que quando
I[H] = T, I[G] = T. A implicao semntica s nos permite concluir I[H] = T quanto I[G] = T.
Nos demais casos, nada pode ser concludo.
A implicao de frmulas usada como mecanismo de inferncia na deduo de novos
conhecimentos.
Exerccio de Fixao
Verifique se as frmulas abaixo so implicaes semnticas:
a) P True
b) (X 0 X = Y) (XY) (X = 0)
c) P (Q R S (G U)) P True
d) (P Q) (P Q) Q
OBS: Enquanto e so smbolos sintticos para implicao e equivalncia, e so
elementos da metalinguagem para representar a implicao e equivalncia semntica.
Prof. Luiz Gustavo A. Martins
Pg.:10
4.6
4.7
Lgica Proposicional
c.q.d
c.q.d.
c.q.d.
Pg.:11
Lgica Proposicional
Demonstrao:
Se satisfatvel, ento I | I[H1] = I[H2] = = I[HN] = T.
I | I[H1] = I[H2] = = I[HN] = T I | I[H1] = T e I[H2] = T e e I[HN] = T
Se I[H1] = T e I[H2] = T I[H1 H2] = T
Se I[H1 H2] = T e I[H3] = T I[H1 H2 H3] = T
e assim sucessivamente at que I [H1 H2 HN] = T.
Logo, (H1 H2 HN) satisfatvel
c.q.d.
5.1
Tabela-Verdade
A tabela-verdade um mtodo de validao baseada na fora bruta. Isso ocorre, porque devemos
mapear todas as possveis combinaes dos smbolos/variveis proposicionais.
Assim, seja P uma frmula proposicional e o conjunto de variveis proposicionais existentes em
P ( = {X1, X2, , XN}). A tabela-verdade de P uma tabela com pelo menos N+1 colunas e
exatamente 2N linhas. As N primeiras colunas representam as variveis proposicionais, enquanto
a (N+1)-sima coluna representa a frmula P. Cada linha representa uma possvel combinao de
valores (T ou F) das variveis pertencentes a e o valor verdade de P resultante desta
combinao.
TABELA-VERDADE DOS CONECTIVOS
G
F
F
T
T
H
F
T
F
T
GH
F
F
F
T
GH
F
T
T
T
GH
T
T
F
T
GH
T
F
F
T
Q
F
T
Q
T
F
CONSTRUO DA TABELA-VERDADE
Dependendo do tamanho da frmula proposicional, a construo direta da sua tabela-verdade no
uma tarefa trivial. Por isso, sugeri-se a sua construo progressiva, atravs da representao,
em colunas auxiliares, das subfrmulas da frmula trabalhada. Tal artifcio, apesar de aumentar o
nmero de colunas, facilita o raciocnio para o preenchimento das linhas.
Exerccio: Construa a tabela-verdade da frmula P = (X Y) (X Z).
Soluo:
X
F
F
F
F
Y
F
F
T
T
Z
F
T
F
T
X
T
T
T
T
(X Y)
F
F
F
F
(X Z)
F
T
F
T
P
F
T
F
T
Pg.:12
T
T
T
T
F
F
T
T
Lgica Proposicional
F
T
F
T
F
F
F
F
F
F
T
T
F
F
F
F
F
F
T
T
Exerccio de Fixao
Construa a tabela-verdade das frmulas:
a) (P Q) (Q P)
b) (P R) (P Q) (Q R)
c) (P Q) (P Q)
TABELA-VERDADE X PROPRIEDADES SEMNTICAS
1- Uma frmula uma tautologia se a ltima coluna de sua tabela-verdade contm somente
valores T ou 1.
2- Uma frmula uma contradio se a ltima coluna de sua tabela-verdade contm somente
valores F ou 0 (zero).
3- Uma frmula factvel se a ltima coluna de sua tabela-verdade contm pelo menos um valor
T ou 1.
4- Duas frmulas so equivalentes semanticamente quando, para cada linha da tabela-verdade,
suas colunas apresentam o mesmo valor.
5- Uma frmula G implica semanticamente na frmula H se, para toda linha cujo valor da coluna
de G verdadeiro, o valor da coluna de H tambm verdadeiro.
Exerccio de Fixao
Determine, utilizando a tabela-verdade, se as frmulas abaixo so tautologia, contradio ou
factveis; ou, ainda, se a equivalncia e implicao semntica so vlidas:
a) E (G H) (E G) (E H)
b) ((P Q) R) (Q (R P))
c) ((P R) Q) ((P R) Q)
d) (Q P) (E R) ((Q E) (P E)) ((Q R) (P R))
e) (P (Q Q)) P (P Q)
5.2
rvore Semntica
Este mtodo determina a validade de uma frmula a partir de uma estrutura denominada rvore.
Uma rvore um conjunto de ns (vrtices) ligados por arestas. Os ns finais so chamados
folhas, o n inicial denominado raiz, enquanto os demais ns so intermedirios.
Pg.:13
Lgica Proposicional
Exemplo de rvore:
N Raiz
Ns Folhas
Durante a validao, as arestas que ligam o n raiz aos outros ns recebem um rtulo, indicando
os possveis valores de uma determinada varivel proposicional, escolhida aleatoriamente. Se a
partir de uma interpretao for possvel obter o valor da frmula, este associado ao n folha
correspondente. Caso no seja possvel tal aferio, cria-se mais duas arestas, aumentando a
ramificao da rvore. Para a rotulao dessas arestas, escolhemos uma outra varivel
proposicional. Este processo repetido at que todos os ns folhas tenham valores associados
frmula.
Exerccio: Demonstre, atravs de rvores semnticas, a validade de H = (P Q) (Q P).
Soluo:
(P Q) (Q P)
F T
T
T TF
(P Q) (Q P)
T F F T TF T TF
I[P] = F
I[P] = T
T
I[Q] = F
(P Q) (Q P)
T ?
? FT
I[Q] = T
T
(P Q) (Q P)
T T T T FT T FT
c.q.d.
Exerccio de Fixao
Construa a rvore semntica das frmulas:
a) (P Q) (Q P)
b) (P R) (P R) (R P)
c) X > 10 X2 = Y X2 Y X 10
RVORE SEMNTICA X PROPRIEDADES SEMNTICAS
1- Uma frmula uma tautologia se s tm valores T ou 1 em seus ns folhas.
2- Uma frmula uma contradio se s tm valores F ou 0 (zero) em seus ns folhas.
3- Uma frmula factvel se pelo menos um n folha com valor T ou 1.
4- Duas frmulas G e H so equivalentes semanticamente, se a rvore semntica
correspondente frmula G H for uma tautologia.
Prof. Luiz Gustavo A. Martins
Pg.:14
Lgica Proposicional
5.3
I[Q] = T
I[Q] = F
c.q.d.
O objetivo deste mtodo deduzir uma contradio / absurdo a partir da negao da frmula em
prova. Entretanto, nem sempre isto ocorre. Nestes casos, NADA se pode concluir sobre a
veracidade da assero inicial. Alm disso, quando existem mais de uma possibilidade testada,
originada de clusulas e/ou, todas devem gerar uma contradio.
MTODO DA NEGAO OU ABSURDO X PROPRIEDADES SEMNTICAS
1- Uma frmula H uma tautologia se a suposio I | I[H] = F gerar contradio.
2- Uma frmula H uma contradio se a suposio I | I[H] = T gerar contradio.
3- Uma frmula H factvel quando ela no for tautologia, nem contradio. Neste caso, basta
apresentar duas interpretaes para H (I e J), onde I[H] = T e J[H] = F.
4- Duas frmulas G e H so equivalentes semanticamente, se for possvel provar que a frmula
G H for uma tautologia.
5- Uma frmula G implica semanticamente na frmula H, se for possvel provar que a frmula
G H for uma tautologia.
Pg.:15
Lgica Proposicional
Exerccio de Fixao
Demonstre, utilizando os trs mtodos de validao estudados, que as frmulas a seguir so
tautologias:
a) ((H G) (G H)) (H H)
b) (H (G E)) ((H G) (H E))
c) (H G) (H (G))
d) ((R Q) (Q P)) (R P)
Apesar de no fazer parte da lgica, este princpio um dos principais mtodos utilizados na
demonstrao de resultados. Na cincia da computao, tal princpio usado para demonstrar
resultados em linguagens formais, teoria de algoritmos, teoria dos cdigos, etc.
6.1
Paradigma da Induo
2 conjunto:
Pg.:16
Lgica Proposicional
Note, que ambos tem a mesma condio bsica. Entretanto, a condio indutiva ligeiramente
modificada.
O princpio da induo finita possui 2 formas que correspondem a estes conjuntos. Neste curso
iremos abordar apenas a 1 forma.
6.2
1 Forma de Induo
Suponha que para cada N (N 1), seja dada a assero A(N). Para concluirmos que A(N)
verdadeira para todo inteiro N, deve ser possvel demonstrar as seguintes propriedades:
Passo Indutivo: Dado um inteiro N (N 1), se A(N) verdadeira, ento A(N+1) tambm
verdadeira.
Exerccio: Demonstre, atravs do princpio da induo finita, que: dada a progresso aritmtica
ai+1 = aiq, para q 1. A soma dos N primeiros termos desta progresso pode ser calculada por:
SN =
an q a0
q 1
Soluo:
Base da Induo: S0 =
a0q a0 a0 (q 1)
=
= a0
q 1
q 1
SI +1 =
aI +1q a0
q 1
aI q a0
como verdade, ento:
q 1
SI + aI +1 =
aI +1q a0
q 1
a q a0
aI q a0
+ aI +1 = I +1
q 1
q 1
a q a0
aI +1 a0
+ aI +1 = I +1
q 1
q 1
aI +1q a0 aI +1q a0
=
q 1
q 1
aI +1 a0 + aI +1q aI +1 aI +1q a0
=
q 1
q 1
c.q.d.
Exerccio de Fixao
Demonstre, utilizando o princpio da induo finita, que:
a) X N | (1+2++X) =
X2 + X
2
b) X N | X 5 2X > X2
c) X N | 3 divide X3-X
d) X N | 20 + 21+ 22++2x = 2x+1 - 1
Prof. Luiz Gustavo A. Martins
Pg.:17
Lgica Proposicional
7.1
Conectivos Completos
c.q.d.
7.2
Formas Normais
Ex:
FND
G = (P Q) (R Q P) (P S)
FNC
Pg.:18
Lgica Proposicional
Q
F
F
T
T
F
F
T
T
R
F
T
F
T
F
T
F
T
H
F
T
F
T
F
F
F
T
Linha
1
2
3
4
5
6
7
8
Y2 = (P Q R).
Y2 = (P Q R).
Y2 = (P Q R).
X1 = (P Q R).
X3 = (P Q R).
X5 = (P Q R).
X6 = (P Q R).
X7 = (P Q R).
Exerccio de Fixao
Dada a frmula H = ((P Q) (Q R)) (R P).
a) Construa a frmula equivalente utilizando apenas os conectivos do conjunto = {, }.
b) Gere as frmulas equivalentes na FND e FNC.
Pg.:19
Lgica Proposicional
Deduo de Teoremas
O processo de prova por deduo consiste em demonstrar que, dadas algumas expresses como
verdadeiras (hipteses ou premissas), uma nova sentena tambm verdadeira. Quando isso
ocorre, dizemos que a sentena provada um teorema com respeito s hipteses.
A prova de um teorema consiste em derivar a expresso desejada H a partir das hipteses ,
utilizando os recursos disponveis em algum dos sistemas de deduo vlidos ( | H).
Definio (sistemas de deduo): tambm denominados sistemas formais, so completos (se
H, ento | H) e corretos (se | H, ento H) e estabelecem estruturas que permitem a
representao e deduo do conhecimento.
TIPOS DE SISTEMAS DE DEDUO
Os sistemas de deduo podem ser divididos em 2 grupos, como segue:
Sistema Axiomtico
Deduo Natural
Tableaux Semnticos
Resoluo
8.1
Sistema Axiomtico
HIPTESES
As hipteses ou premissas so frmulas proposicionais tidas (assumidas) como verdadeiras.
Assim, caso se descubra que uma das hipteses pode ser falsa, toda prova feita a partir desta
hiptese perde sua validade.
AXIOMAS
Os axiomas representam o conhecimento dado a priori. No caso do sistema axiomtico, este
conhecimento representado por tautologias.
Pg.:20
Lgica Proposicional
Ax1 = (H H) H (H H) H
Ax2 = H (G H) H (G H)
P
P Q
Q
P Q
Adio:
Conjuno:
Simplificao Disjuntiva:
Absoro:
Modus Ponens:
P (P Q )
Q
Modus Tollens:
Q ( P Q )
P
Silogismo Hipottico:
(P Q ) (Q R )
P R
Silogismo Disjuntivo:
( P Q ) P
Q
Dilema Construtivo:
P Q
P
P Q
Q
(P Q ) (P Q )
P
P Q
P (P Q )
(P Q ) ( R G )
((P R ) (Q G ))
( P Q ) Q
P
( P Q ) (R G )
((P R ) (Q G ))
Pg.:21
Dilema Destrutivo:
Absurdo:
Lgica Proposicional
(P Q ) (R G )
((Q G ) ( P R ))
(P Q ) (R G )
((Q G ) ( P R ))
P Q
P
OBS: A maioria dos sistemas axiomticos costuma utilizar apenas o Modus Ponens (MP) como
regra de inferncia.
PROVA EM UM SISTEMA AXIOMTICO
H1 H 2 K H N
C
ou
H1 H2 HN C = T
P (Q R)
QS
RG
Soluo:
- considerando as hipteses:
P (Q R)
(1)
QS
RG
(2)
(3)
(4)
c.q.d
Exerccio 2: A partir das hipteses abaixo e utilizando apenas o Modus Ponens (MP) como regra
de inferncia, prove que (S P).
(P R) P
Q P4
P1 Q
(P1 P2) Q
(P3 R) R
P4 P
P1
Prof. Luiz Gustavo A. Martins
Pg.:22
Lgica Proposicional
P3 P
P2
Soluo:
Gerar um axioma que possua S (pois esta varivel no existe no conjunto de hipteses) e que
esteja mais prximo possvel da frmula a ser provada:
- Usando Ax2 com H = P e G = S, temos:
P (S P)
(1)
Derivar a frmula desejada. Para isso, preciso isolar P (necessrio para aplicar MP em (1)):
- Considerando as hipteses:
(P R) P
(2)
Q P4
P1 Q
(P1 P2) Q
(P3 R) R
P4 P
P1
P3 P
P2
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
(13)
c.q.d.
Neste tipo de prova, nega-se a frmula que se deseja provar, a inclui no conjunto de hipteses e
aplica as regras de inferncia at se obter um absurdo.
Exerccio: A partir das hipteses abaixo e utilizando apenas o Modus Ponens (MP) como regra de
inferncia, prove P.
S P
R P
S
Soluo:
- Considerando as hipteses:
Prof. Luiz Gustavo A. Martins
Pg.:23
S P
(1)
R P
S
P
(2)
(3)
(4)
Lgica Proposicional
Negao do teorema
c.q.d.
OBS: Como j visto, nada pode ser concludo se o absurdo no for encontrado.
DERIVAO SEM HIPTESES
Alm das provas onde uma frmula G derivada a partir de um conjunto de hipteses ( | G),
existem casos onde o sistema axiomtico no possui hipteses ( vazio) e a frmula desejada
derivada somente a partir dos axiomas, denotamos: | G.
Ex: Utilizando um sistema axiomtico sem hipteses e apenas com Modus Ponens como regra de
inferncia, prove (P P).
- Para gerar uma sentena que contenha a frmula a ser derivada, utilizamos o Ax3 com
H = (P P), E = P e G = P, temos:
((P P) P) ((P (P P)) (P P))
(1)
- Note que a parte antecedente de (1) pode ser gerada a partir de Ax1 para H = P:
(P P) P
(2)
(3)
(4)
c.q.d.
Exerccio de Fixao
Prove os teoremas abaixo, atravs do sistema axiomtico:
a) Hipteses:
Lgica Proposicional
P (Q R)
S Q
P
GS
PG
b) Hipteses:
R
P (Q R)
Q S
R S
c) Hipteses:
Teorema:
8.2
Resoluo
Regra de inferncia.
A resoluo um mtodo de prova aplicado sobre frmulas que esto na forma de conjunes de
disjunes, conhecida como forma normal conjuntiva (FNC).
Ex: H = (P Q R) (R Q) (P R P)
Cada frmula , ento, representada na forma de conjunto de clusulas (FCC). Nesta notao,
cada disjuno um subconjunto (clusula), onde o conectivo ou trocado por uma vrgula. Alm
disso, as vrgulas entre os subconjuntos representam a conjuno (conectivo e) das disjunes.
Ex: H = {{P, Q, R}, {R, Q}, {P, R}}
Note que no exemplo acima, {P, R} representa (P R P). Isto ocorre, pois no se
representa duplicidade na notao de conjuntos (FCC).
REGRA DE INFERNCIA
Resoluo:
(P Q ) ( P R )
(Q R )
FNC
H1 =
PQ
PQ
FCC
{P, Q}
H2 =
PR
P R
{P, R}
Res(H1,H2) =
QR
QR
{Q, R}
Pg.:25
Lgica Proposicional
Na resoluo, assim como no sistema axiomtico, podemos provar os teoremas de forma direta
ou por refutao.
Hipteses:
AB
AC
B
Teorema:
Soluo:
- Considerando as hipteses:
AB
AC
B
{A, B}
{B}
(1)
(2)
(3)
{A, C}
(4)
{B, C}
(5)
{C}
c.q.d.
Resoluo por Refutao: neste mtodo utiliza-se a prova por absurdo. Para isto, negase a frmula desejada e acrescenta a nova frmula no conjunto de hipteses. Ento, aps
convert-las para o FCC, aplica-se repetidamente a regra de resoluo at se obter uma
clusula vazia, gerada a partir de uma contradio do tipo P e P.
{C}
(1)
AB
{A, B}
(2)
A C (A C)
B
{A, C}
{B}
(3)
(4)
- Considerando as hipteses:
{B, C}
(5)
Pg.:26
Lgica Proposicional
{C}
(6)
c.q.d.
OBS: O mtodo de resoluo por refutao tambm pode ser utilizado para provar a validade de
frmulas proposicionais a partir de um conjunto de hipteses vazio.
Ex: Dada H = (P Q R) (P G) (Q G) (R G) G. Prove H.
Soluo:
- Negando H, temos:
( (P Q R) (P G) (Q G) (R G) G)
(1)
(3)
(4)
(4.1)
(4.2)
(4.3)
(4.4)
(4.5)
(5)
(6)
(7)
c.q.d.
OBS: Quando no se consegue chegar ao conjunto de clusulas vazio pela prova por refutao,
assim como nos casos anteriores, nada se pode concluir sobre o teorema.
Exerccios de Fixao
1- Prove os teoremas abaixo, atravs do mtodo de resoluo:
a) Hipteses:
Lgica Proposicional
b) Hipteses:
Teorema:
c) Hipteses:
Teorema:
R
P (Q R)
Q S
R S
P S
Pg.:28