Lógicas das Proposições
Árvores de Refutação
2.8. Condicional Negado (? ?): Se um ramo aberto contém uma fórmula não ticada da forma ?(Ø?ß), tica-se, ? (Ø ? ß) e ESCREVE-SE Ø e ? ß no final de cada ramo aberto que contém ? (Ø?ß) ticada.
5. ? ? ? P (1 ? ) ? Q (1 ? )
Os ramos abertos indica que a forma é inválida