Atividades do seminário de lógica (12/04/2018)

Discussão da seção 2.4.1 do capítulo 2 do livro Modal Logics and Philosophy

  • Produção de contraexemplos a partir de uma árvore aberta
  • Correção dos exercícios