Lógica proposicional modal: resolução de exercícios.
30 Outubro 2017, 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.