Logica matematica
TRABALHO SOBRE LÓGICA MATEMÁTICA
Feira de Santana – BA Quinta – Feira, 15 de Maio de 2009.
1
Faculdade Anísio Teixeira
TRABALHO SOBRE LÓGICA MATEMÁTICA
Trabalho solicitado pelo Professor Carlos Robson como forma de avaliação parcial da disciplina Lógica Matemática da turma de 1º semestre do curso de Rede de Computadores e Sistemas para Internet da Faculdade Anísio Teixeira.
Feira de Santana – BA Quinta – Feira, 15 de Maio de 2009.
2
SUMÁRIO
Introdução...................................................................................................................... 04 1. Nota Histórica ................................................................................................... 05 1.1. Teoria dos Silogismo...............................................................................05
2. O que é Lógica....................................................................................................06 3. Ciência e Lógica..................................................................................................07 4. Aspectos da Lógica Atual...................................................................................08 5. Paradoxos............................................................................................................09 5.1. 5.2. 5.3. 5.4. 5.5. 5.6. 5.7. 5.8. 5.9. Paradoxo do mentiroso.............................................................................09 Paradoxo do cartão...................................................................................10 Paradoxo de Grelling...............................................................................10 Paradoxo de Berry....................................................................................11 Paradoxo do barbeiro...............................................................................11 Paradoxo do exame..................................................................................11