Lógica I (FIL 120)

Professor Desidério Murcho

Universidade Federal de Ouro Preto
Departamento de Filosofia

Horário: quartas-feiras, 19:00-20:40, 21:00-22:40

  1. Programa, avaliação e bibliografia
  2. A Política e a Língua Inglesa (George Orwell)
  3. Sobre a Liberdade (J. S. Mill)
  4. Introdução à lógica
  5. Tabelas de verdade e inspetores de circunstâncias
  6. Exercícios resolvidos do capítulo 2
  7. Prova de monitoria
  8. Prova-modelo 1
  9. Prova 1
  10. Lógica proposicional: regras primitivas e derivadas de dedução natural
  11. Exercícios resolvidos de lógica proposicional
  12. Exercícios resolvidos do capítulo 3
  13. Estratégias informais para fazer derivações
  14. Prova-modelo 2
  15. Prova 2
  16. Lógica de predicados: Exercícios resolvidos (pp. 147, 154-155)
  17. Exemplos de formalização com linguagem quantificada
  18. Lógica de predicados: Regras primitivas e derivadas
  19. Lógica de predicados com identidade: Exercícios parcialmente resolvidos (pp. 182-184)
  20. Aspectos da Lógica Silogística
  21. Prova-modelo 3
  22. Exame especial: prova-modelo