Você está na página 1de 7

NOES DE LGICA MATEMTICA

DEMONSTRAO INDIRETA RVORE DE REFUTAO


RVORE DE REFUTAO um mtodo para verificar a validade de um
argumento, anlogo demonstrao por absurdo. Para testarmos a validade de
um argumento construmos uma lista de frmulas consistindo de suas premissas
A1, A2 , A3 ,... ,An e a negao da sua concluso ~B que formam a RAI Z DA
RVORE. A rvore continua abaixo com a construo de seus RAMOS por
aplicaes de regras, que sero especificadas abaixo, e gerando novas linhas na
rvore. A rvore termina quando as frmulas de seus ramos so: variveis
proposicionais, negaes de variveis proposicionais, ou quando encontrarmos
em todos os ramos uma frmula F.
Se encontrarmos em todos os ramos da rvore uma frmula F, ento a nossa
tentativa de refutao falhou ou seja, o argumento vlido. Se em algum ramo da
rvore no foi possvel encontrar uma frmula F, ento refutamos o argumento,
isto , o argumento no vlido.
Exemplo: Construir uma rvore de refutao para mostrar que: p . q | ~~ p
- Escrevemos a premissa e a negao da concluso:
1. p . q
2. ~~~p
- Sabemos que p . q verdadeira se, e somente se, p e q so ambas verdadeiras;
da, podemos substituir
p . q por p e q gerando as linhas 3. e 4., respectivamente, e MARCANDO (Z ) a
frmula p . q .
(Uma frmula marcada no poder mais ser utilizada na construo da
rvore!!!)
1. p . q Z
2. ~~~p
3. p
4. q
- Como ~~~p verdadeira se e somente se ~p verdadeira, marcamos ~~~p e
substitumos por ~p gerando a linha 5.:
1. p . q Z
2. ~~~p Z
3. p
4. q
5. ~p

- A rvore terminou pois das premissas e da negao da concluso obtivemos
variveis proposicionais ou negaes de variveis proposicionais. Por outro lado
encontramos nas linhas 3. e 5. uma frmula F, ou seja, nossa tentativa de
refutao falhou e portanto o argumento vlido. Isso ser expresso escrevendo
um X no final da lista, gerando a linha 6 e fechando o nico ramo da rvore.
1. p . q Z
2.~~~p Z
3. p
4. q
5. ~p
6. X
A rvore de refutao est completa. A nossa busca para uma refutao do
argumento dado falhou e, portanto, o argumento vlido.
Exemplo:Construir uma rvore de refutao para mostrar que : p v q, ~ p |q
- Iniciamos a rvore escrevendo a lista de frmulas as premissas e a negao da
concluso:
1. p v q
2. ~p
3. ~q
- Sabemos que p v q verdadeira se, e somente se, p verdadeira ou q
verdadeira. Para representar esse fato, marcamos p v q e ramificamos a rvore,
gerando a linha 4 com dois ramos:
1. p v q Z
2. ~p
3. ~q
/ \
4. p q
- A rvore terminou pois das premissas e da negao da concluso obtivemos
variveis proposicionais ou negaes de variveis proposicionais. Por outro lado
encontramos uma frmula F em um ramo, nas linhas 2. e 4. e no outro ramo, nas
linhas 3. e 4., ou seja, nossa tentativa de refutao falhou e portanto o argumento
vlido. Isso ser expresso escrevendo um X no final de cada ramo da lista
gerando a linha 5 e fechando os dois ramos da rvore.
1. p v q Z
2. ~p
3. ~q
/ \
4. p q
5. X X
A rvore de refutao est completa. Como a tentativa de refutao falhou nos
dois ramos, o argumento dado vlido.
Exemplo: Construir uma rvore de refutao para verificar a validade do
argumento:
p v q, p | ~ q
1. p v q
2. p
3. ~~q Z
- Temos que ~~q equivalente a q; da, marcamos ~~q e escrevemos q gerando
a linha 4. :
1. p v q
2. p
3. ~~q Z
4. q
- Como no exemplo anterior, marcamos p v q e ramificamos a rvore gerando a
linha 5. com dois ramos:
1. p v q Z
2. p
3. ~~q Z
4. q
/ \
5. p q
- A rvore terminou e nos dois ramos no h contradies, ou seja, uma
frmula F. Neste caso os ramos no sero fechados e o argumento no vlido.

















REGRAS PARA A CONSTRUO DE UMA RVORE DE REFUTAO
As regras para a construo de uma rvore de refutao esto relacionadas com
as tabelas verdade j conhecidas. Ao aplicar uma regra em uma frmula da
rvore, temos a observar que:
- a frmula ser marcada ( Z ) para evitar aplicaes repetidas de uma regra em
uma mesma frmula.
- a aplicao de uma regra deve gerar : uma ou duas linhas, um ramo ou dois
ramos conforme a regra, e ser aplicada em todos os ramos abertos (no fechados
com X) aos quais a frmula pertence.
Temos as seguintes regras :
1. REGRA DA DUPLA NEGAO (~~) : Uma frmula do tipo ~~A gera uma
linha e escrevemos A na linha. Procedemos assim em todos os ramos abertos aos
quais a frmula ~~A pertence pois, ~~ A verdadeira se e somente se A
verdadeira.
2. REGRA DA CONJ UNO (.): Uma frmula do tipo A . B gera duas
linhas e escrevemos, em cada linha, as frmulas A e B. Procedemos assim em
todos os ramos abertos aos quais a frmula A . B pertence pois, A . B assume
valor V se, e somente, as frmulas A e B so verdadeiras.
1. A . B Z
2. A
3. B
3. REGRA DA DI SJ UNO (v): Uma frmula do tipo A v B gera uma
linha e dois ramos e escrevemos, na linha e, em cada ramo, as
frmulas A e Brespectivamente. Procedemos assim em todos os ramos abertos
aos quais a frmula A v B pertence pois, A v B assume valor V se, e somente, a
frmula A verdadeira ou a frmula B verdadeira.
1.A v B Z
/ \
2. A B
4. REGRA DA I MPLI CAO (): Uma frmula do
tipo A B gera uma linha e dois ramos e escrevemos, na linha e, em cada
ramo, as frmulas ~ A e Brespectivamente. Procedemos assim em todos os
ramos abertos aos quais a frmula
A B pertence pois, A B assume valor V se, e somente, a frmula ~ A
verdadeira ou a frmula B verdadeira.
1. A B Z
/ \
2. ~ A B
5. REGRA DA BI - I MPLI CAO () : Uma frmula do tipo AB gera duas
linhas e dois ramos e escrevemos nas linhas as frmulas A e B em um ramo e as
frmulas ~A e ~B no outro ramo. Procedemos assim em todos os ramos abertos
aos quais a frmula AB pertence, pois AB assume valor V se, e somente, a
frmula
(A . B) verdadeira ou a frmula (~ A . ~ B) verdadeira.
1.AB Z
/ \
2.A ~ A
3.B ~ B
6. REGRA DA NEGAO DA CONJ UNO (~. ): Uma frmula do tipo
~(A . B) gera uma linha e dois ramos e escrevemos, na linha e, em cada ramo,
as frmulas ~A e ~B respectivamente. Procedemos assim em todos os ramos
abertos aos quais a frmula ~(A . B) pertence pois, ~(A . B) assume valor V se,
e somente, a frmula ~A verdadeira ou a frmula ~B verdadeira.
1.~ (A . B)Z
/ \
2. ~A ~B
7. REGRA DA NEGAO DA DI SJ UNO (~v ) : Uma frmula do tipo
~(A v B) gera duas linhas e escrevemos, em cada linha, as frmulas ~A e ~B.
Procedemos assim em todos os ramos abertos aos quais a
frmula ~(A v B)pertence pois, ~(A v B) assume valor V se, e somente, as
frmulas ~Ae~B so verdadeiras.
1.~ (A v B) Z
2.~ A
3.~ B
8. REGRA DA NEGAO DA I MPLI CAO (~) : Uma frmula do tipo
~(A B) gera duas linhas e escrevemos, em cada linha, as frmulas A e ~B.
Procedemos assim em todos os ramos abertos aos quais a
frmula ~(A B)pertence pois, ~(A B) assume valor V se, e somente, as
frmulas Ae ~B so verdadeiras.
1.~ (A B) Z
2. A
3.~B



9. REGRA DA NEGAO DA BI - I MPLI CAO (~): Uma frmula do tipo
~(AB) gera duas linhas e dois ramos e escrevemos nas linhas as
frmulas ~A e B em um ramo e as frmulas A e ~B no outro ramo. Procedemos
assim em todos os ramos abertos aos quais a frmula ~(AB) pertence
pois, ~(AB) assume valor V se, e somente, a frmula (~A . B)
verdadeira ou a frmula (A . ~B) verdadeira.
1.~(AB) Z
/ \
2. ~A A
3. B ~B
10. RAMO FECHADO: Um ramo ser fechado se nele existem uma frmula A e
sua negao ~A e escrevemos X no final do ramo.
1. ~A
2. A
3. X






OBSERVAES:
- As regras dadas para construir rvores de refutao se aplicam em cada linha ao
conectivo principal da frmula e no a subfrmulas. Por exemplo,
1. p . ~~ q Z
2. p . q 1.(~~) (INCORRETO!!)
- No importa a ordem em que as regras so aplicadas; no entanto, mais
eficiente aplicar as regras, primeiramente, em frmulas que no resultam em
ramificaes.
- Cada linha gerada deve ser justificada indicando a respectiva linha de origem
na qual foi aplicada a regra e tambm a regra usada.
- Frmula na qual foi aplicada alguma regra deve ser marcada (Z ) para evitar
aplicaes repetidas da mesma.





Exemplos:
1.) Verificar, por meio de rvore de refutao, a validade do argumento:
p r v s, r . s q , p q
1. p r v s ZPremissa
2. r . s q ZPremissa
3. ~(p q) ZNegao da Concluso
4. p 3.(~ )
5. ~q 3.(~ )
/ \
6. ~p (r v s) Z1.( )
7. X(6.4) / \
8. r s 6. (v )
/ \ / \
9. ~(r. s)Z q ~(r. s) Z q 2.( )
/ \ \ / \ \
10. ~r ~s X ~r ~s X (~. )
11. X ? (9.5) X ? (9.5)
(10.8) (10.8)
Temos neste caso dois ramos que no fecharam e, portanto, o argumento no
vlido.
2.) Construir uma rvore de refutao para verificar se a frmula
(p q) v (p .~q) uma tautologia:
1. ~((p q) v (p .~ q)) ZNegao da Concluso
2. ~(p q) Z 1. (~v )
3. ~(p .~ q) Z 1. (~v )
4. p 2. (~)
5. ~q 2. (~)
/ \
6. ~p ~~q 3. (~. )
7. X X
(6.4) (6.5)
Todos os ramos esto fechados; assim a frmula vlida, ou seja,
uma tautologia.