Lógicas das Proposições

• Árvores de Refutação

  2.6. Condicional (?): Se um ramo aberto contém uma fórmula não ticada da forma Ø ? ß, tica-se, Ø ? ß e BIFURCA-SE o final de cada ramo aberto que contém Ø? ß ticada, no final do primeiro ramo se esreve ? Ø e no final do segundo ramo se escreve ß.
  

P ? Q, Q ? R, P

R

1. P ? Q

2. Q ? R

3. P

4. ? R

?

?

5. ? P (1 ? ) Q (1 v)

6. X (3,5 ? )

7. ? Q (2 ? ) ? R (2 ? )

8. X (5,7 ? ) X (4,7 ? )

Como a árvore completa

está fechada, a refutaçao

enpreendida falha e a

forma é válida.

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico