A lógica matemática como ferramenta de resolução de problemas. Abordamos um pouco de história para fundamentar as descobertas científicas que levaram a criação do computador. Estudamos lógica proposicional, lógica predicativa e um pouco de cálculo de sequentes. Sempre com o objetivo de conceituar a prova matemática e de criar a capacidade de resolver problemas.

Material de apoio às aulas

1. Aula 1 - Apresentação da disciplina, história e cálculo proposicional.
2. Aula 2 - Proposições Compostas e Tabelas Verdade.
3. Aula 3 - Tabelas verdade, Tautologias...
4. Aula 4 - Formas Normais.
5. Aula 5 - Exercícios de Fixação.
6. Aula 6 - Inferência.
7. Aula 7 - Sistemas Dedutivos.
8. Aula 8 - Dedução Natural.
9. Aula 9 - Exercícios de Fixação.
10. Aula 10 - Cálculo de Predicados - Introdução.
11. Aula 11 - Cálculo de Predicados - Definições.
12. Aula 12 - Propriedades dos Quantificadores.
13. Aula 13 - Validade e Equivalência.

Trabalho dos Alunos

Aplicativo online para a geração de tabelas verdade a partir de expressões de lógica proposicional em Latex: Truth Table Generator, Trabalho de: Daniel Stuart, Fábio Kishino, Leonardo Deldotto e Luis Troscianczuk para a disciplina de Resolução de Problemas com Lógica Matemática da PUC-PR em 2020. Disponível no GitHub.

Material de apoio ao aprendizado

O texto de apoio: Lógica Proposicional, ainda está em desenvolvimento.

Foto de Olav Ahrens Røtne on Unsplash