Lógica modal quantificada simples (cont.)
17 Novembro 2016, 10:00 • Ricardo Santos
Lógica modal quantificada simples (continuação). Resolução de exercícios, com árvores, e construção de contramodelos.
17 Novembro 2016, 10:00 • Ricardo Santos
Lógica modal quantificada simples (continuação). Resolução de exercícios, com árvores, e construção de contramodelos.