Lógica proposicional modal: resolução de exercícios.

18 Março 2020, 16:00 • Ricardo Santos

Os seis sistemas principais de lógica proposicional modal. Validades e invalidades de cada um dos sistemas. Árvores e contra-modelos. Resolução de exercícios: encontrar o sistema mais fraco em que uma fórmula é válida.

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