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