Lógicas das Proposições
Árvores de Refutação
2.5. Disjunção (v): Se um ramo aberto contém uma fórmula não ticada da forma Øvß, tica-se, Øvß e BIFURCA-SE o final de cada ramo aberto que contém Ø v ß ticada, no final do primeiro ramo se esreve Ø e no final do segundo ramo se escreve ß.
O exemplo acima nos mostra que há dois ramos abertos,
conseqüentemente a fórmula é inválida, o que significa
que estes ramos são contra-exemplos.