Lógica proposicional modal: resolução de exercícios.

29 Outubro 2018, 12: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.

Realização do primeiro exercício escrito.