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.