Lógicas das Proposições
Árvores de Refutação
2.4. Conjunção Negada (? ?): 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 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.
3. ? P (1 ? ?) ? Q (1 ? ?)
4. ? ? P (2 ? ?) ?? ? Q (2 ? ?) ?? ? P (2 ? ?) ? ? Q (2 ? ?)
5. X (3,4 ?) Q (4? ?) P (4? ?) X (3,4 ?)