Lógica II (FIL 125)
Professor Desidério Murcho
Departamento de Filosofia
Universidade Federal de Ouro Preto
Primeiro semestre de 2012
Segundas-feiras, 08:20-10:00, 10:20-12:00
- Programa, avaliação e bibliografia (atualizado)
- Calendário académico
- Crítica (secção de lógica)
Revisão: lógica, filosofia e raciocínio
- Lição 1
- Lógica e argumentação (Desidério Murcho)
- Lógica e filosofia (Desidério Murcho)
Árvores: lógica clássica proposicional
- Lição 2
- Árvores lógicas (Desidério Murcho)
- Regras
- Exercícios resolvidos (Matheus Silva e Mayra Moreira)
- Quarenta exercícios complementares
- Lição 3
Árvores: lógica clássica de predicados
- Lição 4
- Regras
- Exercícios resolvidos (Matheus Silva)
- Exercícios resolvidos (Matheus Silva)
Ligações
Lógica modal proposicional: semântica
- Lição 6
- Linguagem
- Lição 7
- Relações
- Exercícios (modelos)
Lógica modal proposicional: árvores
Ensino
Materiais das disciplinas que lecciono no Departamento de Filosofia da Universidade Federal de Ouro Preto.
