Lógicas das Proposições
Árvores de Refutação
2.9. Bicondicional (?): 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 ß e no final do segundo ramo se escreve ? Ø e ? ß.