Lógica modal quantificada simples (cont.)
21 Novembro 2016, 10:00 • Ricardo Santos
Resolução de exercícios de lógica modal quantificada simples. Aplicação do método das árvores. Construção e verificação de contramodelos.
A crítica de Quine à lógica modal quantificada: o argumento dos planetas.