Atividades do seminário de lógica (29/03/2018)

Discussão do capítulo 2 ( A simple modal logic) do livro Modal Logics and Philosophy do Girle:

  • Sintaxe formal da lógica proposicional modal
  • Semântica S5
  • Regras de árvores de refutação para conectivos lógicos no cálculo proposicional clássico
  • Extensão das regras para conectivos lógicos no cálculo proposicional modal
  • Regras de árvores de refutação para \square e \diamondsuit (seguindo S5)