Lógicas das Proposições
Árvores de Refutação
2.7. Disjunção Negada (? v): Se um ramo aberto contém uma fórmula não ticada da forma ? (Øvß), tica-se, ? (Øvß) e ESCREVE-SE ? Ø e ? ß no final de cada ramo aberto que contém ? (Øvß) ticada.
O ramo aberto indica que a forma é inválida