Lógica proposicional modal – os seis sistemas principais.

25 Outubro 2018, 12:00 • Ricardo Santos

Revisão dos seis sistemas principais de lógica proposicional modal – K, D, T, B, S4, S5 – e das suas relações. O que S5 tem de especial: acessibilidade total e redução modal. O método das árvores. Validades e invalidades de cada um dos sistemas. Resolução de exercícios.