Revisão da lógica de predicados clássica: o método das árvores.
22 Abril 2021, 18:30 • Ricardo Santos
Método das árvores para a lógica de predicados: novas regras para os quantificadores e para a identidade. Exemplos de árvores. A construção de contramodelos a partir de caminhos abertos de árvores completas. Resolução de exercícios.