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

20 Abril 2020, 16:00 • 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.

No final da aula, foi realizado um pequeno exercício escrito para avaliação (“mini-teste”).

[Por causa da covid-19, esta aula foi dada, no horário habitual, por videoconferência.]