Lógica proposicional modal – os seis sistemas principais.

27 Outubro 2016, 10: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 método das árvores. Validades e invalidades de cada um dos sistemas. Resolução de exercícios.