Lógica II (FIL 125)

Professor Desidério Murcho

Universidade Federal de Ouro Preto
Departamento de Filosofia

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

1. Programa, avaliação e bibliografia
2. Árvores semânticas: lógica proposicional
3. Exercícios resolvidos de árvores semânticas (lógica proposicional)
4. Árvores semânticas: lógica de predicados com identidade
5. Exercícios resolvidos de árvores semânticas (lógica de predicados)
6. Exercícios resolvidos de árvores semânticas (Capítulo 6)
7. Linguagem modal proposicional
8. Relações
9. Árvores semânticas: lógica proposicional modal
10. Exercícios de lógica modal proposicional
11. Exercícios resolvidos de lógica modal proposicional
12. Exercícios de lógica modal: modelos
13. Linguagem modal de predicados
14. Árvores semânticas: lógica modal de predicados com identidade
15. Exercícios de lógica modal de predicados com identidade
16. Prova-modelo 1
17. Dedução natural: lógica proposicional, modal e clássica
18. Exercícios de dedução natural modal proposicional
19. Prova-modelo 2

Software

1. Tree proof generator
2. Tableau III