A lógica modal quantificada simples

22 Abril 2020, 16:00 • Ricardo Santos

Introdução à lógica modal quantificada simples (LMQS). A linguagem: os símbolos e as regras de formação. A semântica: interpretações da linguagem da LMQS. Interpretação dos predicados relativa a cada mundo possível. Os nomes como designadores rígidos. Domínio de quantificação constante. Condições de verdade de fórmulas atómicas e de fórmulas complexas (conectivas, operadores modais, quantificadores). Regras para as árvores: regras para os quantificadores e regras para a identidade.

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