Lógica proposicional modal – o sistema K

10 Outubro 2016, 10:00 • Ricardo Santos

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.