Você ainda não fez o acesso (Acesso)
  • Lógica Clássica e o método axiomático dedutivo. Lógica Sentencial e de Primeira Ordem. Sistemas Dedutivos: Dedução Natural; Tableaux; Resolução. Correção, Completude dos sistemas formais. Exemplos de lógicas não clássicas. Exemplos de aplicações da lógica.