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

28 Setembro 2017, 16:00 • 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.