Revisão da lógica de predicados clássica: a linguagem e a semântica

15 Abril 2020, 16:00 • Ricardo Santos

Breve apresentação da linguagem e da semântica da Lógica de Predicados clássica (LPr). A semântica dos quantificadores e os objectos sem nome. O predicado lógico de identidade: convenções sintácticas. A semântica da Lógica de Predicados com identidade. Exercícios de formalização.

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