Lógica modal quantificada simples (cont.)
29 Novembro 2018, 12:00 • Ricardo Santos
Resolução de exercícios de lógical modal quantificada simples. Aplicação do método das árvores. Construção e verificação de contramodelos.
29 Novembro 2018, 12:00 • Ricardo Santos
Resolução de exercícios de lógical modal quantificada simples. Aplicação do método das árvores. Construção e verificação de contramodelos.