Revisão da lógica de predicados clássica: o método das árvores.

20 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.