O Método das Árvores para a Lógica Proposicional

2 Fevereiro 2021, 18:30 • Ricardo Santos

O método das árvores para a lógica proposicional. Noções básicas: árvore, raiz, nós, caminhos. As regras do método. Árvores acabadas, fechadas e abertas. O uso das árvores como teste de validade dedutiva e como teste de verdade lógica (ou contradição). Resolução de exercícios. A construção de contramodelos a partir de um ramo aberto de uma árvore acabada; verificação do contramodelo.