Destaque


Alfabeto grego (para saber o nome das letras usadas para designar fórmulas!)
Trabalhos práticos
  • 10/10 Semântica Lógica Proposicional
  • 31/10 Sistemas dedutivos para a Lógica Proposicional:
  • 21/11 Semântica da Lógica de Primeira Ordem
  • 12/12 Sistemas dedutivos para a Lógica de Primeira Ordem