Atps análise
CURSO DE LICENCIATURA EM MATEMÁTICA
DISCIPLINA: ANÁLISE MATEMÁTICA
PROFESSOR: MIGUEL
ATIVIDADES PRÁTICAS SUPERVISIONADAS
ANÁLISE MATEMÁTICA
ALEXANDRE ELIAS DE ALMEIDA
RA: 0901414373
Taguatinga, DF
2011
ANHANGUERA EDUCACIONAL
FACULDADE SANTA TEREZINHA
CURSO DE LICENCIATURA EM MATEMÁTICA
DISCIPLINA: ANÁLISE MATEMÁTICA
PROFESSOR: MIGUEL
ATIVIDADES PRÁTICAS SUPERVISIONADAS
ANÁLISE MATEMÁTICA
Trabalho apresentado ao professor referente à disciplina de Análise Matemática.
Taguatinga, DF
2011
ETAPA 01
Aula-tema: Lógica matemática
Esta atividade é importante para que você compreenda o conceito de lógica matemática. Para realizá-la é importante seguir os passos descritos.
Passo 1 - Produza um texto elaborando um breve histórico sobre as noções de lógica matemática. Para tanto, você poderá consultar o seguinte site: http://www.pucsp.br/~logica/, acesso em 12.12.2009 e também consultar o livro Teoria e Problemas da Matemática Discreta - Coleção Schaum - Seymour Lipschutz, Marc Lipson.
Alguns autores dividem o estudo da Lógica em: * LÓGICA INDUTIVA: útil no estudo da teoria da probabilidade (não será abordada neste roteiro). * LÓGICA DEDUTIVA: que pode ser dividida em: * LÓGICA CLÁSSICA- Considerada como o núcleo da lógica dedutiva. É o que chamamos hoje de CÁLCULO DE PREDICADOS DE 1a ORDEM com ou sem igualdade e de alguns de seus subsistemas. Três Princípios (entre outros) regem a Lógica Clássica: da IDENTIDADE, da CONTRADIÇÃO e do TERCEIRO EXCLUÍDO.
LÓGICAS COMPLEMENTARES DA CLÁSSICA: Complementa de algum modo a lógica clássica estendendo o seu domínio. Exemplos: lógicas modal, deôntica, epistêmica, etc.
LÓGICAS NÃO - CLÁSSICAS: Assim caracterizadas por derrogarem algum ou alguns dos princípios da lógica clássica. Exemplos: paracompletas e intuicionistas (derrogam o princípio do terceiro excluído); paraconsistentes (derrogam o princípio da contradição); não-aléticas (derrogam o terceiro