Listas de Exercícios

Horário

• Segundas-feiras, das 8:50 às 10:30

• Quartas-feiras, das 8:50 às 10:30

Ementa

Lógica Aristotélica: conectivos lógicos, tabelas verdade, tautologias, regras de inferência, lógica sentencial, formas normais. 

Álgebra de conjuntos e Álgebras de Boole. 

Argumentos: demonstração direta e por redução ao absurdo. 

 Linguagem de primeira ordem, teoria e modelos. 

Decibilidade. 

Bibliografia

• Iniciação à Lógica Matemática, Edgar Alencar Filho. Editora Nobel;

• A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity, Shawn Hedman. Oxford Texts in Logic;

• Introdução à Lógica, Cezar A. Mortari, Editora Unesp.