Sumários
Lógica proposicional modal – os sistemas D e T
4 Março 2021, 18:30 • Ricardo Santos
Correcção e completude da lógica modal K. Avaliação de K: pontos positivos e negativos. Relações entre o necessário, o possível e o actual. Extensões de K: o sistema D (com acessibilidade extensível) e o sistema T (com acessibilidade reflexiva). Modificação da definição de interpretação. Novas regras para as árvores.
Lógica proposicional modal – os sistemas D e T
2 Março 2021, 18:30 • Ricardo Santos
Correcção e completude da lógica modal K. Avaliação de K: pontos positivos e negativos. Relações entre o necessário, o possível e o actual. Extensões de K: o sistema D (com acessibilidade extensível) e o sistema T (com acessibilidade reflexiva). Modificação da definição de interpretação. Novas regras para as árvores.
Sistema K: árvores e contramodelos
1 Março 2021, 18:30 • Ricardo Santos
O método das árvores para a lógica K. Resolução de exercícios. Construção de contramodelos a partir de um caminho aberto de uma árvore acabada. Representação e verificação do contramodelo.
Lógica proposicional modal – o sistema K
25 Fevereiro 2021, 18:30 • Ricardo Santos
A semântica dos mundos possíveis (modelos de Kripke) para a lógica modal. A relação de acessibilidade entre mundos. A lógica K: os símbolos e as regras de formação. A semântica. Elementos de uma interpretação: conjunto de mundos possíveis, relação de acessibilidade entre mundos e função que avalia cada fórmula atómica em cada mundo. Definições de verdade (num mundo de uma interpretação), de consequência semântica e de verdade lógica. O método das árvores para a lógica K.
Lógica proposicional modal – o sistema K
23 Fevereiro 2021, 18:30 • Ricardo Santos
A semântica dos mundos possíveis (modelos de Kripke) para a lógica modal. A relação de acessibilidade entre mundos. A lógica K: os símbolos e as regras de formação. A semântica. Elementos de uma interpretação: conjunto de mundos possíveis, relação de acessibilidade entre mundos e função que avalia cada fórmula atómica em cada mundo. Definições de verdade (num mundo de uma interpretação), de consequência semântica e de verdade lógica. O método das árvores para a lógica K.