Lógicas das Proposições
Árvores de Refutação
2.2. Negação Negada (? ?): Se um ramo aberto contém uma fórmula não ticada da forma ? ? Ø, tica-se ? ? Ø e escreve-se Ø no final de cada ramo aberto que contém ? ? Ø ticada.
2.3. Conjunção (?): 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.
A árvore de refutação está COMPLETA,
isto é, com todos os ramos fechados,
logo, a busca de uma refutação para o
argumento de negar a conclusão falhou,
pois só encontrou CONTRADIÇÕES, e
portanto, a FORMA É VÁLIDA.